curry-language / curry2go
A compiler and run-time system to compile and run Curry programs as Go programs
☆24Updated 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.☆29Updated 7 years ago
- IDE support for the functional logic programming language Curry☆30Updated last week
- 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
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 10 months ago
- Visual Studio Code integration for the Idris 2 language server☆30Updated 4 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- a functional programming language with algebraic effects and handlers☆81Updated 3 weeks ago
- Optional types for Prolog☆16Updated 5 years ago
- ☆34Updated 11 months ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- Kanren with databases☆43Updated 7 months ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- The Twelf Programming Language☆119Updated last month
- Probabilistic Functional Logic Programming☆15Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- higher order dependently typed logic programing☆170Updated 6 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- A toy dependent typed language.☆28Updated 2 weeks ago