Stars
A contact solver for physics-based simulations involving 👚 shells, 🪵 solids and 🪢 rods.
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Fast C++ Pytorch extension for differentiable synthetic aperture radar image formation and autofocus library on CPU and GPU
A functional programming language which does not require the heap at run-time.
Deploy any AI model, agent, database, RAG, and pipeline locally or remotely in minutes
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
An FPGA-based mechanical keyboard with an integrated USB hub and communication interfaces
Course notes for Formalising Mathematics 2025
Hardware Description in Lean (Like CLASH but with logically sound dependent types)
Custom ComfyUI nodes for film grain, color matching, and video enhancement.
A curated collection of fun and creative examples generated with Nano Banana🍌, Gemini-2.5-flash-image based model. We also release Nano-consistent-150K openly to support the community's development…
A fast, safe, and intuitive DataFrame library.
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
A safe interface to GHC's delimited continuation primops.
Spiking neural network inference engine for 7-Series FPGAs
CAP project -- Categories, Algorithms, and Programming
Efficient Haskell Arrays featuring Parallel computation
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
A differentiable PDE solving framework for machine learning