A modern and intuitive terminal-based text editor

A new Categories library for Agda

Я - extremely composable embeddable programming language

Powerful File Content Search and Listing Tool

Design documentation for the Ribbon programming language.

The web framework for content-driven websites. ⭐️ Star to support our work!

My digital garden built with Astro and MDX. Featuring loosely opinionated notes, half-formed ideas, and content that is always growing.

egraphs + datalog!

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

An incremental parsing system for programming tools

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Rust driven css minifier

An SMTP server for test and development environments written in Rust

High-performance browser-grade HTML5 parser

A lightweight high-performance async runtime for Rust

A new type of shell

Multi-format archive and compression library

Syntax highlighting Engine for Structured Text and Code.

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

Haskell project template using Nix + Flakes + VSCode (HLS)

A fast, friendly, functional language.

A Language with Dependent Data and Codata Types

A new markup-based typesetting system that is powerful and easy to learn.

CommonMark compliant markdown parser in Rust with ASTs and extensions

The Rust package manager

Lightweight stream-based WebSocket implementation for Rust.

A high-performance algorithmic trading platform and event-driven backtester