fizruk / free-agent
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
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A talk☆28Updated 4 years ago
- Collection of Idris snippets☆21Updated last year
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A multi-method simulation library☆80Updated 10 months ago
- Text generation language☆33Updated last week
- Probabilistic Functional Logic Programming☆16Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆58Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 10 months ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Calculus of Constructions Implementation☆15Updated 5 years ago
- ☆20Updated 6 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- ☆44Updated 2 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 7 months ago
- All the Transient libraries☆40Updated 3 weeks ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Two-Level Type Theory☆28Updated 5 years ago