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:
- Succinct vectors☆20Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- A MOBA written using Haskell, Yampa, and SDL☆26Updated 10 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 11 months ago
- Hackage search engine☆56Updated 7 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Fixed length vector for haskell☆21Updated last month
- Model-view-controller☆64Updated 2 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- Static code analysis using graph-theoretic techniques☆27Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Haskell types and parsers for software version numbers.☆20Updated this week
- Measure time complexity empirically.☆48Updated 9 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- haskell memory☆48Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Parser and type analysis for the Go programming language☆12Updated 2 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 9 months ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Fork threads and wait for their result☆27Updated last year
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago