coil-language / coil-langLinks
The Coil Programming Language
☆33Updated last year
Alternatives and similar repositories for coil-lang
Users that are interested in coil-lang are comparing it to the libraries listed below
Sorting:
- ☆104Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 4 years ago
- Plot Cookbook☆51Updated 3 years ago
- ☆58Updated 8 months ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- Racket to WebAssembly Compiler☆40Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- JavaScript implementation of modified version of miniKanren☆34Updated 6 years ago
- Lyspen (previously Lisperanto) is an AST structured editor.☆44Updated last week
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Examples of Beads programs☆112Updated 7 months ago
- The WebRacket language is a subset of Racket that compiles to WebAssembly☆109Updated this week
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated 2 weeks ago
- Shen for JavaScript☆61Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆122Updated last week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆151Updated last week
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- ☆61Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Updated 5 years ago
- Kanren with databases☆44Updated last year
- Simple array language written in kotlin☆46Updated 2 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 4 years ago