artagnon/ibex

This repository has been archived on 02/Nov/2020
Stars
21
Rank 1,084,038 (Top 22 %)
Language
Go
License
GNU General Publi...
Created about 11 years ago
Updated over 10 years ago

artagnon/ibex

artagnon

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

🐐 imap client written in go and js

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

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