tchoutri

esbuild

An extremely fast bundler for the web

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Carp

A statically typed lisp, without a GC, for real-time applications.

neovim

Soho vibes for Neovim

neodev.nvim

💻 Neovim setup for init.lua and plugin development with full signature help, docs and completion for the nvim lua API.

Relm4

Build truly native applications with ease!

bsc

Bluespec Compiler (BSC)

RVVM

The RISC-V Virtual Machine

haskell-tools.nvim

🦥 Supercharge your Haskell experience in neovim!

dryoc

Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library

Lol

Λ ⚬ λ: Functional Lattice Cryptography

quic

QUIC protocol for Erlang & Elixir

apply-refact

Refactor Haskell source files

unagi-chan

A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API

vehicle

A toolkit for enforcing logical specifications on neural networks

hackage-diff

Compare the public API of different versions of a Hackage library

cabal-plan-bounds

Calculate Haskell dependency ranges from multiple build plans

plog

A bare-bones blogging system, written in Prolog

specifica

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

order

Order theory

tree-sitter-ghc-core

A tree-sitter grammar for GHC Core

servant-jsonrpc

Tools to build JSON-RPC clients and servers the Servant way

srv

srv is a tiny web server for local deployments

HsPaillier

Simple Paillier cryptosystem

ki-effectful

eclair-rust-bindings

High level Rust bindings for Eclair Datalog

systemfw

Implementation of system F-omega

aegis-vaes

An AEGIS implementations for CPUs with VAES and AVX2.

io-test

smartlua