company-dcd. company backend for DCD.
22hscaml. Haskell
4openscad-hs-sketcher. Haskell DSL for generating OpenSCAD code from 2D sketches
4nvim-fcopy. Lua
2ai-friendly-architecture. Rust
2elm-symbols-mcp. work in progress
2cadhr. Rust
2haddock2anki. a haddock scraper to generate Anki source
2iphone-se2-case. Haskell
2elm-json. Install, upgrade and uninstall Elm dependencies
1openscad-hs-sketcher-template. Haskell
1nim_arduino. Nim
1elm-compilation-time-slide. JavaScript
1assoc-list-extra. An Elm library with extra functions for the reimplemntation of Dict in pzp1997/assoc-list
1ImplicitCAD. A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
1aiscript. 🔋 A lightweight scripting language runing on JavaScript
1implicitcad-projects. Haskell
1ratel. Nim
1nushell-intro.
1crkbd. Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
1prompt-in-buf.nvim. Lua
1alds_c. C
1coq_add_tailrec. Coq
1lmntal.vim. lmntal syntax setting for vim
1.emacs.d. my emacs.d
1codic-emacs. Emacs Lisp
1ido-skk. ido interface for skk henkan
1ac-dcd. Auto completion for Emacs using DCD: the D completion daemon
1