JeffreyBenjaminBrown / digraphs-with-textLinks
☆64Updated 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 wiki based on firm theoretical foundations☆51Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- DIY Markov Chains.☆25Updated last year
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- rdf4h is a library for working with RDF in Haskell☆79Updated 5 months ago
- rslt, take five-ish☆150Updated 4 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 9 years ago
- The Art of the Propagator. See also:☆178Updated last year
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 10 years ago
- Jupyter notebooks☆58Updated 2 months ago
- Learning rigid grammars in Haskell.☆24Updated 8 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆116Updated last month
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- A talk on type-generic FFT in Haskell☆46Updated 4 years ago
- ☆42Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- A port of Google's word2vec to Haskell☆26Updated 9 years ago
- λtext - higher-order file applicator☆36Updated 2 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Updated 5 years ago
- Reversible parsing and pretty-printing.☆17Updated 11 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆51Updated 3 years ago