cararemixed / hansei
A collection of code related to the HANSEI language
☆9Updated 8 years ago
Alternatives and similar repositories for hansei
Users that are interested in hansei are comparing it to the libraries listed below
Sorting:
- silly-k is an experimental language inspired by K and APL☆16Updated 6 months ago
- Pinocchio VM☆20Updated 4 years ago
- A pure subset of Prolog, implemented in Haskell☆31Updated 11 years ago
- Several graph algorithms in Common Lisp.☆8Updated 4 years ago
- Dealing with Flags and Options☆12Updated 3 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 5 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆32Updated 2 months ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆131Updated 2 weeks ago
- Fast distributed-memory oscillatory integration via the butterfly algorithm☆8Updated 11 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆26Updated 9 years ago
- Kanren with databases☆43Updated 9 months ago
- αProlog☆17Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- Logic for story telling!☆34Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago