RaminHAL9001 / DaoLinks
The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.
☆46Updated 5 years ago
Alternatives and similar repositories for Dao
Users that are interested in Dao are comparing it to the libraries listed below
Sorting:
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated last year
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Hackage search engine☆56Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆59Updated last year
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- A MOBA written using Haskell, Yampa, and SDL☆27Updated 10 years ago
- Model-view-controller☆64Updated 3 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- Static code analysis using graph-theoretic techniques☆27Updated 3 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- ☆34Updated 13 years ago
- Haskell clone of a certain game☆93Updated 11 years ago
- Dive into GHC☆82Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A fast, low-level HTTP server you can trust☆47Updated 7 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- 2048 in Idris☆123Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- An experimental native Haskell graph database☆62Updated 6 years ago
- Classic games recreated in netwire☆95Updated 8 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Updated 8 years ago
- A class for types that can be converted to a hash value☆105Updated last month
- Simple lambda prover☆24Updated 10 years ago
- Obsidian Language Repository☆41Updated 7 years ago