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:
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Haskell library containing common graph search algorithms☆52Updated 6 months ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A multi-method simulation library☆80Updated 11 months ago
- ☆30Updated 7 years ago
- A talk☆28Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Probabilistic Functional Logic Programming☆16Updated 2 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- Finite domain constraint solver in Haskell☆19Updated 3 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- oleg modules☆32Updated 12 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- ☆29Updated 9 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 10 months ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Haskell JSON library☆27Updated 7 months ago
- ☆20Updated 6 years ago