curry-language / curry2go
A compiler and run-time system to compile and run Curry programs as Go programs
☆24Updated 4 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.☆29Updated 7 years ago
- IDE support for the functional logic programming language Curry☆30Updated last week
- An implementation of the Lox language in Racket.☆33Updated last year
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 5 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- ☆46Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Kanren with databases☆43Updated 7 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Visual Studio Code integration for the Idris 2 language server☆30Updated 4 months ago
- The Flix Programming Book☆17Updated last week
- source code for the bondi programming language☆40Updated 6 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated this week
- Optional types for Prolog☆16Updated 5 years ago
- ☆45Updated 3 weeks ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- ☆21Updated 5 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Probabilistic Functional Logic Programming☆15Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago