fizruk / free-agent
A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for free-agent
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- Constraint Handling Rules☆15Updated last month
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- Haskell library containing common graph search algorithms☆52Updated this week
- Stream editing with Haskell Attoparsec parsers☆14Updated last year
- Invertible parsing for S-expressions☆33Updated last month
- ☆28Updated 6 years ago
- A multi-method simulation library☆79Updated 4 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆36Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- So, you want to write a DSL interpreter...☆25Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated 3 weeks ago
- A talk☆28Updated 3 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Extensible records for Idris☆26Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- A small NuPRL style proof assistant☆32Updated 5 years ago