JeffreyBenjaminBrown / digraphs-with-text
☆66Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for digraphs-with-text
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- 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
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Awelon project is a new UI model with a new language.☆101Updated 9 years ago
- Jupyter notebooks☆58Updated 2 weeks ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Database-Supported Haskell☆29Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- rdf4h is a library for working with RDF in Haskell☆76Updated 7 months ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 7 years ago
- A library of Natural Language Processing algorithms for Haskell.☆73Updated 10 months ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- An experimental native Haskell graph database☆60Updated 6 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 3 years ago
- i bet you there is a typesystem behind music☆30Updated 6 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- ALGT 2.0☆30Updated 4 years ago
- ☆40Updated 6 years ago