fizruk / free-agentLinks
A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.
☆16Updated 7 years ago
Alternatives and similar repositories for free-agent
Users that are interested in free-agent are comparing it to the libraries listed below
Sorting:
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- Text generation language☆34Updated last month
- A multi-method simulation library☆81Updated last year
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Beginnings of a Postgres client for Idris 2☆18Updated last month
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Excel Addin for Haskell☆36Updated 3 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- Haskell JSON library☆27Updated 11 months ago
- Javascript DOM bindings for Idris2☆52Updated 2 weeks ago
- making data science easy and safe with data frames in haskell☆28Updated 8 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated last month
- Brent's PhD thesis.☆69Updated 9 years ago
- A Python backed for Idris 2☆28Updated last month
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- All the Transient libraries☆42Updated 2 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- Package manager for Idris☆37Updated 3 years ago
- Source for personal blog.☆78Updated 2 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 7 months ago
- Morte IDE☆29Updated 7 months ago
- Some tools for provability logic☆37Updated 7 years ago