There are no reviews yet. Be the first to send feedback to the community and the maintainers!
rhine-ml
🏞 an OCaml compiler for an untyped lispclayoven
💎 beautiful website generator aimed at math-heavy sitesphoenixfs
🔥 a versioning filesystem inspired by gitrhine
🔬 a C++ compiler middle-end, using an LLVM backendbonak
🧊 An indexed construction of semi-simplicial and semi-cubical typesibex
🐐 imap client written in go and jsublog.el
🗿 elisp artifact – worked as a twitter client brieflyvsfstar
🦅 VSCode extension for F* with IDE featuresdotfiles
📂 gitconfig, ruby, perl, nvimatomic-rtags
🔖 rtags for Atomboot-wrapper-aarch64
🥾 boot wrapper for AArch64 linuxartagnon.com
∞ my online presence — generated by clayovenvsclay
🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaXrejourn
♨️ static html generator — abandoned in favor of clayovenFreelyCommute
🖋 reMarkable v5 parserproofsauce
🍳 Experiments in Coqtree-sitter-mlir
MLIR grammar for tree-sittersauerkraut
⏲ a mishmash of matrix multiplication algorithmsmegafinder
🔭 Atom plugin for running find and fuzzy-filteringsandbox
⛱ project euler in haskell, programming puzzles, toysLove Open Source and this site? Check out how you can help us