dsagman / picatLinks
Learning Constraint Programming with Picat
☆51Updated last month
Alternatives and similar repositories for picat
Users that are interested in picat are comparing it to the libraries listed below
Sorting:
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- ☆56Updated 6 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- A simple incomplete Scheme-to-C compiler☆74Updated 4 months ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆43Updated 16 years ago
- APL interpreter and stream processor☆134Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- An introduction to the J programming language that gets to the point.☆67Updated last week
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆59Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Slog 1.0☆45Updated last year
- Kanren with databases☆44Updated last year
- ☆28Updated 3 months ago
- An implementation of interaction nets as a forth-like language.☆43Updated 3 weeks ago
- Stackless Joy☆23Updated 7 months ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Updated 9 years ago
- various toys in j☆12Updated 3 years ago
- Plot Cookbook☆51Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- Function EXpression Language (interpreter for functional programs)☆84Updated 2 months ago
- DocLog builds documentation from source code in Prolog☆31Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month