Lists (1)
Starred repositories
Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Demo using Datastar to render a filterable view of the Bluesky atproto firehose
JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system
The surprisingly performant, Nushell-scriptable HTTP server that fits in your back pocket.
A high-performance, zero-copy serializer inspired by rkyv. Maximum compile-time optimization.
A verifier for automated and interactive proofs about transition systems.
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
implementation of the QOA (Quite OK Audio Format) in the Jai programming language.
A comprehensive and efficient low-contention thread pool for easily managing both sync and async workloads. It provides granular work control, flexible concurrency, and robust error handling.
Fast caching software with a focus on low latency and cpu efficiency.
The native Clojure dialect hosted on LLVM with seamless C++ interop.
Powerful, joyful building blocks for modern cloud-native applications.
A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
Dependently-typed language with Iverson-style implicit lifting
A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
A fast framework for writing baseline compiler back-ends in C++