Lists (20)
Android
Anki
C
Core
Cours MP2I
Cybersécurité
Games
Hardware
IDE-project
Tools for my common lisp IDEJS
Lang
LisP
Mobile
NVim
OS
Performance
Reading list
Reverse Engineering
Rust
Zig
Stars
A package to rotate text and party with parrots at the same time
types for various combinatory systems, especialy tree calculi
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…
Implementations of various type systems in OCaml.
abolish.vim: Work with several variants of a word at once
Tree-sitter powered textobjects for evil mode in Emacs
🌲 Structural editing in Emacs for any™ language!
Major-mode for ROOT and the Cling REPL in Emacs
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
The server for the Android app Controlloid.
Type in Morse code by repeatedly slamming your laptop shut
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Middleware to compile Circom circuits to Nova prover
A Circom Implementation of the Anemoi hash function.
Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.
Mirror of https://gitlab.com/xonotic - Xonotic (superproject containing build scripts and tools to download other repositories and assets)
Edit onscreen gamepads for RetroArch
Repository for the SCALE-MAMBA MPC system