bezirg / hlogo
A Parallel NetLogo variant in Haskell
☆7Updated 4 years ago
Related projects: ⓘ
- ☆12Updated 4 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 6 months ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- ☆28Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated 11 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated last year
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- ☆42Updated this week
- A talk☆28Updated 3 years ago
- topos programming☆31Updated 6 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆68Updated 2 years ago
- Constraint Handling Rules☆14Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- Proof checker for propositional logic☆16Updated 7 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated 11 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated this week
- Brent's PhD thesis.☆63Updated 8 years ago