swgillespie / pine
An ML-like language featuring native compilation.
☆18Updated 9 years ago
Alternatives and similar repositories for pine:
Users that are interested in pine are comparing it to the libraries listed below
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- ☆35Updated 5 years ago
- Clojure-like Lisp on Rubinius☆94Updated 3 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆16Updated 6 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 4 years ago
- An experimental LISP syntax for Elm Language, and an ElmLisp → Elm transpiler.☆11Updated 7 years ago
- A (nearly) pure functional programming language.☆24Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- A rusty Lisp inspired by Clojure for usage as simple configuration language☆18Updated 7 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- Park programming language☆18Updated 3 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A meta-language for OCaml. (Unreleased)☆25Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A Vim plugin for Carp☆17Updated 3 years 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
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- ☆18Updated last week
- A simple 8-bit virtual stack machine☆16Updated 10 years ago
- a scheme->js compiler written in scheme☆17Updated 6 years ago
- A Haskell derived programming language for systems development.☆14Updated 6 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- An opinionated OTP framework wrapper☆26Updated last month
- Lua parser and pretty-printer☆15Updated 10 months ago
- Notes from my research for forest-lang☆12Updated 3 years ago
- Scheme Interpreter in Rust☆27Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago