OriRoth / flunctLinks
A functional fluent API generator
☆34Updated 2 years ago
Alternatives and similar repositories for flunct
Users that are interested in flunct are comparing it to the libraries listed below
Sorting:
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- ☆56Updated 5 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 8 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- ☆37Updated last year
- Apple array system☆68Updated last week
- The MLtonLibrary repository☆36Updated 2 years ago
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Nanopass for OCaml☆148Updated 7 years ago
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- ☆137Updated 3 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated this week
- Ideas, documents, and tutorial pile for the Prowl Language☆10Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- ☆47Updated 8 years ago
- A custom parser/auto-formatter for Standard ML☆83Updated 2 months ago
- MLton for scalable multicore architectures☆59Updated 11 years ago