alehander92 / hatlog
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for hatlog
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- A Python 3 compiler that anyone can understand.☆68Updated 10 years ago
- ☆16Updated 6 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Brainfuck with Actors☆36Updated 5 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- A language for pipe-based programming☆51Updated last year
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆38Updated last year
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- A virtual machine for Monte.☆67Updated 7 months ago
- ☆13Updated 3 years ago
- Yet another PEG parser combinator library and DSL☆57Updated last year
- APL-like functions for use from Lua.☆17Updated 9 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- Various implementations of microKanren☆19Updated 7 years ago
- Algebraic data types for python☆22Updated 7 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆26Updated 2 years ago
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Forth clone in Haskell☆31Updated 7 years ago
- Shen on python.☆18Updated 10 years ago