Stars
A library for probabilistic programming in Haskell.
Cloud Haskell core libraries
Specification for interoperability of common algebraic structures in JavaScript
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
CQL: Categorical Query Language implementation in Haskell
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Seamlessly integrate LLMs as Python functions
Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL
A beautiful, simple, clean, and responsive Jekyll theme for academics
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
A fast, high quality library for computing with statistics in Haskell.
Course notes for CS228: Probabilistic Graphical Models.
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Linear algebra and numerical computation
HoTTEST Summer School materials
A specialised computer algebra system for topos theory.