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:
- A Python backed for Idris 2☆29Updated 2 weeks ago
- Text generation language☆34Updated 2 months ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- source code for the bondi programming language☆43Updated 6 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A talk☆28Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 7 months ago
- A multi-method simulation library☆81Updated last year
- A simple Prolog interpreter☆42Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 6 months ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- ☆36Updated last month
- Kempe is a compiled stack-based language☆58Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 9 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 7 years ago
- Seven classes on Haskell and a follow-up reading list☆56Updated 11 months ago