alehander92 / hatlog
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
☆24Updated 8 years ago
Alternatives and similar repositories for hatlog:
Users that are interested in hatlog are comparing it to the libraries listed below
- A virtual machine for Monte.☆69Updated 11 months ago
- A dynamic language inspired by Python and E.☆78Updated 4 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- ☆16Updated 6 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Pure python functional programming☆28Updated 15 years ago
- Pawns functional/imperative programming language compiler etc☆9Updated 4 months ago
- syn·di·cate: a language for interactive programs☆156Updated last month
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- EPIC CUCUMBERS!☆28Updated 7 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- The Kleenex programming language☆55Updated 5 months ago
- ☆14Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago