Stack safe and expressive recursion in Rust

ANTLR4 parser generator runtime for Rust programming laguage

A cross-platform GUI library for Rust, inspired by Elm

Create book from markdown files. Like Gitbook but implemented in Rust

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Empowering everyone to build reliable and efficient software.

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

A frontend Framework for single-page applications on top of REST/GraphQL APIs, using TypeScript, React and Material Design

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Sodium - Functional Reactive Programming (FRP) Library for multiple languages

Proving Ground: Tools for Automated Mathematics

TiddlyWiki5 plugin dev http://suiryc.github.io/TiddlyWiki5-dev/

Meerkat parsers

🍰 A nice music player

Writing Fast Parsers Fast in Scala

GAPT: General Architecture for Proof Theory

Fast Parser Combinators

an xtext based parser for the tptp grammer.

A library for Proof Theory (especially Proof Compression) in Scala.

an smtp-based appserver