curry-language / curry2go
A compiler and run-time system to compile and run Curry programs as Go programs
☆23Updated 3 months ago
Alternatives and similar repositories for curry2go:
Users that are interested in curry2go are comparing it to the libraries listed below
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- IDE support for the functional logic programming language Curry☆30Updated this week
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated this week
- Kanren with databases☆43Updated 6 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 9 months ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 4 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- ☆45Updated 3 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- ☆45Updated 3 months ago
- A property-based testing library for Racket.☆31Updated 9 months ago
- Optional types for Prolog☆16Updated 5 years ago
- Visual Studio Code integration for the Idris 2 language server☆30Updated 3 months ago
- The Twelf Programming Language☆118Updated 2 weeks ago
- Wasm tooling in Racket.☆41Updated last year
- ☆19Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 9 months ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- A Racket refactoring engine☆62Updated this week
- A Racket Meta-Program Generator☆17Updated 4 years ago
- An embeddable flow-oriented language.☆69Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- ☆21Updated 4 years ago
- ☆15Updated 8 years ago