swgillespie / pineLinks
An ML-like language featuring native compilation.
☆18Updated 10 years ago
Alternatives and similar repositories for pine
Users that are interested in pine are comparing it to the libraries listed below
Sorting:
- ☆35Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A Vim plugin for Carp☆17Updated 3 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Clojure-like Lisp on Rubinius☆96Updated 4 years ago
- Ikko language☆26Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 3 months ago
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A meta-language for OCaml. (Unreleased)☆25Updated 7 months ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- Crux Programming Language☆53Updated 3 weeks ago
- A Scheme embedded in Rust, like Lua in C.☆62Updated 6 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- The official compiler for the Quartz programming language☆29Updated 7 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- A Web Framework for LFE☆18Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- Working through the Rust book☆13Updated 4 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A simple 8-bit virtual stack machine☆16Updated 10 years ago