Create a mobile Balatro app from your Steam version of Balatro

Lightweight unofficial Steam client for Android

Zone out with nyan cat

Emacs Anki Client

A package to rotate text and party with parrots at the same time

The repository of the project 86 game

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

Emacs OCaml mode

Disassemble C/C++ code under cursor in Emacs

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

The Doom Emacs snippets library

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]

Server to host Lean games

Middleware to compile Circom circuits to Nova prover

A Circom Implementation of the Anemoi hash function.

Desktop Environment

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 - Xonotic (superproject containing build scripts and tools to download other repositories and assets)

Edit onscreen gamepads for RetroArch

ForthFreak wiki

A curated list of repos related to Circom