A Low Garbage Java Serialisation Library that supports multiple formats

Resource-AWare Feldspar

Micro second messaging that stores everything to disk

An extensible, state-of-the-art columnar file format

식탁보 프로젝트

Differential compression for Nix

☕ 모각코하기 좋은 국내 카페 리스트

Common Lisp editor/IDE with high expansibility

An experimental self-hosted Observable notebook editor, with support for FileAttachments, Secrets, custom standard libraries, and more!

Compose Haskell functions to reach one type from another

Multi-tenant Nix Binary Cache

Factoring as a Service

A guide on factorizing large numbers using the cado-nfs and cloud infrastructure.

Mercury is a C library for implementing RPC, optimized for HPC.

Next generation of automated data exploratory analysis and visualization platform.

Monadic capabilities with late binding

Portable interprocess communication (IPC) in Haskell

C++ Message Queuing Library and Framework

Example of using Yampa and GHC Wasm backend to create a simple web app.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Compatibility layer and type-checker plugin to treat WithDict with GHC <9.4

A distributed data processing framework in Haskell.

Run macOS, Windows and more via a single Nix command, or simple nixosModules

🤖 Deploy a private ChatGPT alternative hosted within your VPC. 🔮 Connect it to your organization's knowledge base and use it as a corporate oracle. Supports open-source LLMs like Llama 2, Falcon, a…

A code-first agent framework for seamlessly planning and executing data analytics tasks.

Run commands on remote machines using ssh

A resource monitor in your browser, in Rust

Facebook's branch of Apache Thrift, including a new C++ server.

LaTeX book with examples, open-source eBook