~vigoux

France

https://scm.vigoux.eu

~vigoux/lseq

Intuitionistic propositional logic prover written in Lean 4

~vigoux/azy.nvim

Simple and fast fuzzy finder for neovim

~vigoux/complementree.nvim

Flexible completion framework for neovim

~vigoux/liz

LISP in Zig: a tiny LISP interpreter

~vigoux/zeta

A tiny modal text editor written in zig

~vigoux/zbf

A tiny bf insterpreter

~vigoux/architext.nvim

Structural editing in neovim, powered by tree-sitter

~vigoux/sature

A pure Rust SAT solver

~vigoux/satlog.rs

Rust logger for SAT-related solvers