JeffreyBenjaminBrown / digraphs-with-textLinks
☆65Updated 7 years ago
Alternatives and similar repositories for digraphs-with-text
Users that are interested in digraphs-with-text are comparing it to the libraries listed below
Sorting:
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- rslt, take five-ish☆152Updated 4 years ago
- The Art of the Propagator. See also:☆174Updated last year
- Dyna2 compiler and REPL☆147Updated 5 years ago
- A pure Haskell implementation of Datalog☆106Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- rdf4h is a library for working with RDF in Haskell☆78Updated last month
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- Jupyter notebooks☆58Updated 9 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- λtext - higher-order file applicator☆36Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆112Updated 10 months ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- The propagator system☆41Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- DIY Markov Chains.☆25Updated 10 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago