Underwater survivors game experience built using the Godot engine

Smarter file explorer and cd replacement. Learns from your actions and ranks files intelligently. Inspired by fzf and zoxide. Trains an ML model on your machine, with your data, to serve you.

Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.

Production-grade Rust-native trading engine with deterministic event-driven architecture

egraphs + datalog!

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Principled Functional Programming in Scala

NewTypes for Scala with no runtime overhead

A Scala combinator-based plotting library.

How to use Markdown to make beautiful presentations with Deckset

Integrations with Vinyl/Frames records.

Database maintenance tool support

Haskell 98 Profunctors

A typed logic programming language embedded in Haskell

Dyna2 compiler and REPL

The Scalable TLS Unwrapping Daemon

The BigMC Bigraphical Analysis Tool

A multi-method simulation library

Fast cryptographic networking for Haskell

A fast Haskell JSON library

Linear Algebra for Java

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

Scala combinator library for building Finagle HTTP services

Minimal implementations for dependent type checking and elaboration

The People's Refinement Logic

🎯 React component for transportation of modals, lightboxes, loading bars... to document.body or else.

An OCaml bindings generator for JavaScript libraries