bakaq / bakageLinks
An experimental package manager for Scryer Prolog
☆22Updated 2 months ago
Alternatives and similar repositories for bakage
Users that are interested in bakage are comparing it to the libraries listed below
Sorting:
- ☆58Updated 8 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago
- Boolean Constraint Solving in Prolog☆48Updated last year
- DocLog builds documentation from source code in Prolog☆33Updated last month
- A Djot implementation in Prolog☆27Updated last month
- Kanren with databases☆44Updated last year
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆17Updated 8 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 4 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- A simple incomplete Scheme-to-C compiler☆74Updated 6 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Shen/Scheme implementation☆131Updated last week
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Racket to WebAssembly Compiler☆40Updated last year
- High-level interface for low-level programming☆123Updated 2 months ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆19Updated 2 years ago
- Scheme implementation (now maybe working properly)☆19Updated 2 years ago
- The Kraken Programming Language☆49Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- A work-in-progress garbage collector for Guile☆230Updated 2 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Prototypes: Object Orientation, Functionally☆50Updated this week
- Learning Constraint Programming with Picat☆54Updated 3 months ago
- A #lang implementation of Lua 5.4 for Racket.☆58Updated 3 months ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Prolog Reverse Proxy☆20Updated 7 years ago
- My adventure into the marvelous world of Web Assembly☆73Updated 7 years ago