Pinned Repositories
bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
clayoven
💎 beautiful website generator aimed at math-heavy sites
ibex
🐐 imap client written in go and js
phoenixfs
🔥 a versioning filesystem inspired by git
rhine
🔬 a C++ compiler middle-end, using an LLVM backend
rhine-ml
🏞 an OCaml compiler for an untyped lisp
ublog.el
🗿 elisp artifact – worked as a twitter client briefly
vsclay
🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX
vsfstar
🦅 VSCode extension for F* with IDE features
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
artagnon's Repositories
artagnon/rhine-ml
🏞 an OCaml compiler for an untyped lisp
artagnon/ibex
🐐 imap client written in go and js
artagnon/ublog.el
🗿 elisp artifact – worked as a twitter client briefly
artagnon/atomic-rtags
🔖 rtags for Atom
artagnon/boot-wrapper-aarch64
🥾 boot wrapper for AArch64 linux
artagnon/rejourn
♨️ static html generator — abandoned in favor of clayoven
artagnon/chwall
📱 exploring mirah – language tailored to build android applications
artagnon/emacs-helm-p4locate
⛑ helm support for locating files using perforce
artagnon/irale
🗺 postgis experiment – storing and retrieving map coordinates fast