artagnon/bonak

Stars
26
Rank 928,876 (Top 19 %)
Language
TeX
License
MIT License
Created about 5 years ago
Updated 4 months ago

artagnon/bonak

artagnon

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

🧊 An indexed construction of semi-simplicial and semi-cubical types

rhine-ml

🏞 an OCaml compiler for an untyped lisp

clayoven

💎 beautiful website generator aimed at math-heavy sites

phoenixfs

🔥 a versioning filesystem inspired by git

rhine

🔬 a C++ compiler middle-end, using an LLVM backend

ibex

🐐 imap client written in go and js

ublog.el

🗿 elisp artifact – worked as a twitter client briefly

vsfstar

🦅 VSCode extension for F* with IDE features

dotfiles

📂 gitconfig, ruby, perl, nvim

atomic-rtags

🔖 rtags for Atom

boot-wrapper-aarch64

🥾 boot wrapper for AArch64 linux

artagnon.com

∞ my online presence — generated by clayoven

vsclay

🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX

rejourn

♨️ static html generator — abandoned in favor of clayoven

FreelyCommute

🖋 reMarkable v5 parser

proofsauce

🍳 Experiments in Coq

vstwig

🈸 vscode extension for PHP Twig

tree-sitter-mlir

MLIR grammar for tree-sitter

sauerkraut

⏲ a mishmash of matrix multiplication algorithms

megafinder

🔭 Atom plugin for running find and fuzzy-filtering

sandbox

⛱ project euler in haskell, programming puzzles, toys