Pinned Repositories
bewelltuned
daestruct
DAE structural analysis in C++
elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
fulcro-rad
Fulcro Rapid Application Development
grains
intellij-erlang
Erlang IDE (IntelliJ-based)
keepassxc-cr-recovery
Helps with regaining access to your CR protected KeePassXC database in case of a lost YubiKey
kristallwings.github.io
obsvector
A small tool to observe erlang processes and inspect their state.
scala-ocaml
Ocaml parser, abstract syntax and pretty printer in scala
linges's Repositories
linges/scala-ocaml
Ocaml parser, abstract syntax and pretty printer in scala
linges/bewelltuned
linges/daestruct
DAE structural analysis in C++
linges/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
linges/fulcro-rad
Fulcro Rapid Application Development
linges/grains
linges/intellij-erlang
Erlang IDE (IntelliJ-based)
linges/keepassxc-cr-recovery
Helps with regaining access to your CR protected KeePassXC database in case of a lost YubiKey
linges/kristallwings.github.io
linges/obsvector
A small tool to observe erlang processes and inspect their state.
linges/phoenix
Productive. Reliable. Fast.
linges/simple-language
A front-end for a simple, statically-typed, purely functional programming language.
linges/smith
Functional programming language with user defined binders and syntax
linges/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
linges/urob-zmk-config
Personal ZMK firmware configuration for various boards (34-keys, Corneish Zen, Planck)
linges/whatwasit
Track changes to your Ecto models
linges/zmk-config
linges/zmk-config-devcontainer
ZMK config with GH Actions, Devcontainer and Codespaces integrations