Experimental folding schemes library

Access large language models from the command-line

⅋ — session types for Rust

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

A statically typed Lisp like scripting programming language for Rust.

Cryptographic Primitive Code Generation by Fiat

todo.txt manager for Linux, Windows and MacOS, free and open-source (FOSS)

Putting a brain behind `cat`🐈‍⬛ Integrating language models in the Unix commands ecosystem through text streams.

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

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

LSP server leveraging LLMs for code completion (and more?)

Experimental blockchain database

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama

Proving leftpad correct two-dozen different ways

Functional workflows

Kani Rust Verifier

Analysis of various tricky Rust code

Creusot helps you prove your code is correct in an automated fashion.

Rust on mobile made easy!

Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).