artagnon

London

Pinned Repositories

bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
Language:TeX25 4 13
clayoven
💎 beautiful website generator aimed at math-heavy sites
Language:Ruby333 2 17
ibex
🐐 imap client written in go and js
Language:Go22 3 01
phoenixfs
🔥 a versioning filesystem inspired by git
Language:C200 25 321
rhine
🔬 a C++ compiler middle-end, using an LLVM backend
Language:C++164 7 18
rhine-ml
🏞 an OCaml compiler for an untyped lisp
Language:OCaml631 53 1125
ublog.el
🗿 elisp artifact – worked as a twitter client briefly
Language:Emacs Lisp18 4 13
vsclay
🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX
Language:TypeScript4 1 10
vsfstar
🦅 VSCode extension for F* with IDE features
Language:TypeScript15 2 03
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM27.6k 587 75.4k11.4k

artagnon's Repositories

artagnon/rhine-ml
🏞 an OCaml compiler for an untyped lisp
Language:OCaml631 53 1125
artagnon/clayoven
💎 beautiful website generator aimed at math-heavy sites
Language:Ruby333 2 17
artagnon/phoenixfs
🔥 a versioning filesystem inspired by git
Language:C200 25 321
artagnon/rhine
🔬 a C++ compiler middle-end, using an LLVM backend
Language:C++164 7 18
artagnon/bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
Language:TeX25 4 13
artagnon/ibex
🐐 imap client written in go and js
Language:Go22 3 01
artagnon/vsfstar
🦅 VSCode extension for F* with IDE features
Language:TypeScript15 2 03
artagnon/dotfiles
📂 gitconfig, ruby, perl, nvim
Language:Python10 4 04
artagnon/atomic-rtags
🔖 rtags for Atom
Language:CoffeeScript9 3 23
artagnon/tree-sitter-mlir
MLIR grammar for tree-sitter
Language:JavaScript9 1 31
artagnon/artagnon.com
∞ my online presence — generated by clayoven
Language:HTML7 2 31
artagnon/boot-wrapper-aarch64
🥾 boot wrapper for AArch64 linux
Language:Assembly7 3 07
artagnon/vsclay
🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX
Language:TypeScript4 1 10
artagnon/FreelyCommute
🖋 reMarkable v5 parser
Language:C++3 2 0
artagnon/vstwig
🈸 vscode extension for PHP Twig
Language:TypeScript2 1 50
artagnon/megafinder
🔭 Atom plugin for running find and fuzzy-filtering
Language:JavaScript1 2 0
artagnon/sandbox
⛱️ project euler in haskell, programming puzzles, toys
Language:C++1 4 1
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.
Language:OCaml0 1 00
artagnon/art.cls
🎨 Artistic article class used for all my work
Language:TeX2 0
artagnon/authored
✍️ presentations I've done over time
Language:TeX2 0
artagnon/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
Language:Dockerfile1 0
artagnon/emacs-helm-p4locate
⛑ helm support for locating files using perforce
Language:Emacs Lisp2 0
artagnon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM1 0
artagnon/MathJax-src
MathJax source code for version 3 and beyond
Language:TypeScript1 0
artagnon/neomutt
:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
Language:C1 0
artagnon/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Language:Scheme1 0
artagnon/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 0
artagnon/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
artagnon/tree-sitter
An incremental parsing system for programming tools
Language:Rust1 0
artagnon/xkeymask
An extension of the xkeyval LaTeX package for masking certain keys
Language:TeX2 0