artagnon/dotfiles

Stars
10
Rank 1,804,095 (Top 36 %)
Language
Python
License
MIT License
Created over 15 years ago
Updated over 1 year ago

artagnon/dotfiles

artagnon

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

📂 gitconfig, ruby, perl, nvim

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

bonak

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

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

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