cararemixed / hansei
A collection of code related to the HANSEI language
☆9Updated 8 years ago
Related projects: ⓘ
- silly-k is an experimental hobby language inspired by K and APL☆15Updated 7 years ago
- Several graph algorithms in Common Lisp.☆8Updated 3 years ago
- Pinocchio VM☆20Updated 3 years ago
- Pure Type Systems for Functional Programming☆32Updated 3 years ago
- A pure subset of Prolog, implemented in Haskell☆31Updated 11 years ago
- ☆31Updated 9 years ago
- ☆34Updated this week
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Fast distributed-memory oscillatory integration via the butterfly algorithm☆8Updated 11 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆24Updated 8 years ago
- Tiny, concurrent sampling profiler for Clozure Common Lisp.☆15Updated 8 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- Arrayfire bindings for J language☆12Updated 7 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- ☆18Updated 3 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 years ago
- Quickcheck Clone implemented in Racket☆32Updated last month
- Prolog Projects (Artificial Intelligence, Encryption)☆7Updated 9 years ago