The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.
☆46Oct 1, 2020Updated 6 years ago
Alternatives and similar repositories for Dao
Users that are interested in Dao are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Library for parsing GHC time and allocation profiling reports☆10Jun 16, 2025Updated last year
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 11 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated last year
- The Str signature and implementations☆20May 28, 2017Updated 9 years ago
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 8 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆17Oct 12, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Haskell to Quil quantum instruction set compiler☆11Jun 6, 2018Updated 8 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- Bit twiddling and bitwise serialization primitives☆14May 8, 2022Updated 4 years ago
- Haskell bindings to the SDL2 library☆11May 21, 2015Updated 11 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 7 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Nov 15, 2020Updated 5 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 7, 2026Updated last month
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 7 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month
- Rails-like inflections for Haskell☆37Apr 13, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Push-pull implementation of discrete FRP with totally-ordered switchers☆11Jan 30, 2017Updated 9 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Oct 12, 2026Updated 2 weeks ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆39Dec 22, 2025Updated 10 months ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Sep 21, 2018Updated 8 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago