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 4 years ago
Alternatives and similar repositories for Dao
Users that are interested in Dao are comparing it to the libraries listed below
Sorting:
- Ring solver for Idris☆20Updated 6 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 11 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 months ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- Hackage search engine☆56Updated 7 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆16Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A MOBA written using Haskell, Yampa, and SDL☆26Updated 10 years ago
- Morte IDE☆29Updated 3 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆60Updated 6 years ago
- Simple lambda prover☆24Updated 10 years ago