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/clayoven
💎 beautiful website generator aimed at math-heavy sites
artagnon/phoenixfs
🔥 a versioning filesystem inspired by git
artagnon/rhine
🔬 a C++ compiler middle-end, using an LLVM backend
artagnon/bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
artagnon/vsfstar
🦅 VSCode extension for F* with IDE features
artagnon/dotfiles
📂 gitconfig, ruby, perl, nvim
artagnon/tree-sitter-mlir
MLIR grammar for tree-sitter
artagnon/artagnon.com
∞ my online presence — generated by clayoven
artagnon/boot-wrapper-aarch64
🥾 boot wrapper for AArch64 linux
artagnon/vsclay
🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX
artagnon/vstwig
🈸 vscode extension for PHP Twig
artagnon/FreelyCommute
🖋 reMarkable v5 parser
artagnon/megafinder
🔭 Atom plugin for running find and fuzzy-filtering
artagnon/sandbox
⛱️ project euler in haskell, programming puzzles, toys
artagnon/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
artagnon/alive2
Automatic verification of LLVM optimizations
artagnon/art.cls
🎨 Artistic article class used for all my work
artagnon/authored
✍️ presentations I've done over time
artagnon/CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
artagnon/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
artagnon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
artagnon/MathJax-src
MathJax source code for version 3 and beyond
artagnon/minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
artagnon/neomutt
:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
artagnon/nikic.github.com
artagnon/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
artagnon/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
artagnon/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
artagnon/tree-sitter
An incremental parsing system for programming tools
artagnon/xkeymask
An extension of the xkeyval LaTeX package for masking certain keys