rurban / picat-lang
git mirror with some local fixes. currently not uptodate
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for picat-lang
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- ☆11Updated 2 weeks ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated last year
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Q line editor and full-screen interface editor☆11Updated 3 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆69Updated 13 years ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- A categorical semantics library in Agda.☆17Updated 4 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Forth emulator, as a Racket #lang☆20Updated last year
- An esoteric RPN golfing language☆24Updated 2 years ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Yet another PEG parser combinator library and DSL☆57Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago