jamesdabbs / pi-base.hs
A Haskell-powered modernization of Counterexamples in Topology
☆39Updated 8 years ago
Related projects: ⓘ
- Quick and easy data visualizations with Haskell☆83Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 11 years ago
- ☆57Updated this week
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Haskell implementations of various ML algorithms.☆56Updated 10 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆87Updated 7 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆157Updated 5 years ago
- The Quantum IO Monad, implemented in Haskell☆100Updated 6 months ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- ☆53Updated 8 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆69Updated 8 years ago
- Running the code you want to write as fast as the code you have to write☆139Updated 7 years ago
- ☆99Updated 6 years ago
- An experimental native Haskell graph database☆59Updated 5 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- haskell bindings for blas and lapack☆49Updated 6 years ago
- A fast, easy-to-use q-learning library for Haskell☆43Updated 8 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- GHC plugin that improves Haskell code's numerical stability☆191Updated 8 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- playground for working with succinct data structures☆94Updated 8 years ago
- haskell neural network library☆112Updated 7 years ago
- Dr. Bayes☆83Updated 8 years ago