benjamin-voisin

Pinned Repositories

1brc
Lua implementation of Gunnar's 1 billion row challenge
Language:Lua00
AKMA-squirrel
Language:OCaml00
cehavl.nvim
A neovim plugin for cehavling words
Language:Lua1 1 00
DendroGrahamBell
Language:Python0 1 00
easy-lsp
Language:Lua10
flow
Small utility that brings some extra commands to control river
Language:Rust00
HexaTTD
Language:C++00
LuaPride
Language:Lua00
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml00
PowerNuts
A vim extension for the squirell prover
Language:Vim Script3 1 00

benjamin-voisin's Repositories

benjamin-voisin/PowerNuts
A vim extension for the squirell prover
Language:Vim Script3 1 00
benjamin-voisin/cehavl.nvim
A neovim plugin for cehavling words
Language:Lua1 1 00
benjamin-voisin/easy-lsp
Language:Lua10
benjamin-voisin/1brc
Lua implementation of Gunnar's 1 billion row challenge
Language:Lua00
benjamin-voisin/AKMA-squirrel
Language:OCaml00
benjamin-voisin/DendroGrahamBell
Language:Python0 1 00
benjamin-voisin/flow
Small utility that brings some extra commands to control river
Language:Rust00
benjamin-voisin/HexaTTD
Language:C++00
benjamin-voisin/LuaPride
Language:Lua00
benjamin-voisin/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml00
benjamin-voisin/site_web
Repo de mon site perso (https://perso.eleves.ens-rennes.fr/people/benjamin.voisin/)
Language:JavaScript00
benjamin-voisin/raylib
A simple and easy-to-use library to enjoy videogames programming
Language:C
benjamin-voisin/river-scratchpads
Language:Rust
benjamin-voisin/scord
Language:Lua
benjamin-voisin/squirrel-prover-lsp
Language:Lua
benjamin-voisin/tree-sitter-squirrel-prover
Language:JavaScript1 0
benjamin-voisin/Tusky
An Android client for the microblogging server Mastodon