rurban / picat-lang
git mirror with some local fixes. currently not uptodate
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for picat-lang
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- ☆32Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆27Updated 2 years ago
- Formal specification of Rebol syntax☆22Updated 12 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Prolog Pengines + vue.js☆17Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- APL parser written in Standard ML☆19Updated 8 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- Kanren with databases☆43Updated 3 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 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
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆20Updated last week
- various toys in j☆12Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆69Updated 13 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 3 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- A concise programming language that is fun to use☆16Updated 8 years ago
- Red (red-lang.org) and Rebol C++ Binding☆18Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Forth emulator, as a Racket #lang☆20Updated last year
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago