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
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆16Updated 6 years ago
- ☆35Updated 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
- Clojure-like Lisp on Rubinius☆95Updated 3 years ago
- A Haskell derived programming language for systems development.☆14Updated 6 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- A safe and efficient target language for functional compilers☆20Updated 6 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 7 years ago
- A meta-language for OCaml. (Unreleased)☆25Updated 4 months ago
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Ikko language☆26Updated 4 years ago
- Experiments with llvm to create a toy programming language☆25Updated 4 months ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- An experimental LISP syntax for Elm Language, and an ElmLisp → Elm transpiler.☆11Updated 7 years ago
- A simple 8-bit virtual stack machine☆16Updated 10 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- S expression parser for rust☆16Updated last year
- Racket to WebAssembly "compiler".☆32Updated 4 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Park programming language☆18Updated 3 years ago
- A Minimal Lispy Calculator☆26Updated last year