JeffreyBenjaminBrown / digraphs-with-text
☆66Updated 6 years ago
Related projects: ⓘ
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- Awelon project is a new UI model with a new language.☆101Updated 8 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 7 years ago
- rdf4h is a library for working with RDF in Haskell☆76Updated 5 months ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 8 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Automatic Haskell type inference from JSON input☆150Updated last year
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆47Updated last year
- An experimental native Haskell graph database☆59Updated 5 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆157Updated 5 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- ☆79Updated this week
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 2 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Jupyter notebooks☆57Updated 2 weeks ago
- Quick and easy data visualizations with Haskell☆83Updated 6 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆270Updated 11 years ago
- ☆57Updated this week
- Probabilistic computation in Idris☆33Updated 5 years ago
- ☆63Updated this week
- i bet you there is a typesystem behind music☆30Updated 5 years ago
- rslt, take five-ish☆147Updated 3 years ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago