RaminHAL9001 / Dao
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
Related projects ⓘ
Alternatives and complementary repositories for Dao
- Timing attack resistant type systems☆24Updated 9 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- ☆35Updated 12 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- JSON RPC using the remote monad☆9Updated 6 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆28Updated 7 years ago
- Hackage search engine☆56Updated 6 years ago
- haskell memory☆48Updated last year
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- Examples for the book “Alex and Happy”☆34Updated 9 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Online version of GHCi that supports safely executing untrusted code.☆27Updated 8 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Simple reflection of expressions☆33Updated 3 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Experimental C++11 backend for Idris☆14Updated 9 years ago
- JVM code generation☆32Updated 5 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 2 months ago