billwadge / pyLucid
Book lucid interpreter written in python
☆24Updated 5 years ago
Alternatives and similar repositories for pyLucid
Users that are interested in pyLucid are comparing it to the libraries listed below
Sorting:
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- The NIAL language environment☆112Updated 2 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆27Updated 14 years ago
- Stackless Joy☆23Updated last month
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Prolog implementation of microKanren☆43Updated 10 years ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Self-like language implemented in the RPython language toolkit.☆31Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- early A interpreter with buddy system space management.☆44Updated 4 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- A concise programming language that is fun to use☆16Updated 9 years ago
- Poplog☆21Updated 14 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 15 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago