curry-language / curry2go
A compiler and run-time system to compile and run Curry programs as Go programs
☆17Updated 3 months ago
Related projects: ⓘ
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆26Updated 6 years ago
- IDE support for the functional logic language Curry☆26Updated last month
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A high-level programming language☆35Updated this week
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last year
- An implementation of the Lox language in Racket.☆28Updated 10 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆69Updated 13 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated 11 months ago
- ☆33Updated 5 months ago
- source code for the bondi programming language☆38Updated 5 years ago
- Font for turning J into APL☆12Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 3 years ago
- A template for you to implement Hazelnut yourself☆18Updated 2 weeks ago
- ☆10Updated last month
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆49Updated 4 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆28Updated 2 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated this week
- A property-based testing library for Racket.☆28Updated 4 months ago
- An embeddable flow-oriented language.☆58Updated this week
- Standard ML Grammar for Tree-sitter☆23Updated 2 years ago
- Wasm tooling in Racket.☆40Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- ☆19Updated last month