iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO @tactile-metrology, Principal Engineer @reilabsDenver, CO, USA
Pinned Repositories
enso
Hybrid visual and textual functional programming.
absol
Formally correct DSLs
babylon.js
A shallow copy of babylon.js
dotfiles-old
Reproducible system configuration
iamrecursion
A profile readme for Ara Adkins
obsidian-lean
(VERY WIP) Lean mode for Obsidian
obsidian-pkvs
A persistent key-value store for use in Obsidian scripting.
graal
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
scala3
The Scala 3 compiler, also known as Dotty.
tctiSH
An iSH-alike based on the TCTI pseudo-JIT
iamrecursion's Repositories
iamrecursion/obsidian-pkvs
A persistent key-value store for use in Obsidian scripting.
iamrecursion/dotfiles-old
Reproducible system configuration
iamrecursion/absol
Formally correct DSLs
iamrecursion/iamrecursion
A profile readme for Ara Adkins
iamrecursion/obsidian-lean
(VERY WIP) Lean mode for Obsidian
iamrecursion/babylon.js
A shallow copy of babylon.js
iamrecursion/beartype
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
iamrecursion/beartype_pls
A bug repro for beartype.
iamrecursion/dataview
A high-performance data index and query language over Markdown files, for https://obsidian.md/.
iamrecursion/dotty
Research compiler that will become Scala 3
iamrecursion/graal
GraalVM: Run Programs Faster Anywhere :rocket:
iamrecursion/ish
Linux shell for iOS
iamrecursion/obsidian-api
iamrecursion/obsidian-releases
Community plugins list, theme list, and releases of Obsidian.
iamrecursion/obsidian-tikzjax
Render LaTeX and TikZ diagrams in your notes
iamrecursion/prettier
Prettier is an opinionated code formatter.
iamrecursion/Templater
A template plugin for obsidian
iamrecursion/tikzjax
TikZJax is TikZ running under WebAssembly in the browser