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 (nearly) pure functional programming language.☆24Updated 6 years ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- ☆35Updated 5 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Scheme Interpreter in Rust☆26Updated 6 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆16Updated 6 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- Clojure-like Lisp on Rubinius☆94Updated 3 years ago
- A simple interpreted language written in Elixir☆21Updated 7 years ago
- Ikko language☆26Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- An implementation of Smalltalk 80 in Rust☆17Updated 6 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- An experimental LISP syntax for Elm Language, and an ElmLisp → Elm transpiler.☆11Updated 7 years ago
- A super-fast, stack-based virtual machine for dynamic languages☆53Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- 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
- A meta-language for OCaml. (Unreleased)☆25Updated 2 months ago
- A simple 8-bit virtual stack machine☆16Updated 10 years ago
- A rusty Lisp inspired by Clojure for usage as simple configuration language☆18Updated 7 years ago
- A Vim plugin for Carp☆17Updated 3 years ago
- An opinionated OTP framework wrapper☆26Updated last week
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆32Updated 2 weeks ago