kindl / Hypatia
A ML-family Language Compiled to Lua
☆142Updated 2 months ago
Alternatives and similar repositories for Hypatia:
Users that are interested in Hypatia are comparing it to the libraries listed below
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- An ML-like functional programming language☆334Updated 3 years ago
- Haskell in S-expression☆171Updated 5 months ago
- an implementation of stuck macros☆140Updated last month
- Ordo: A minimalist language with row polymorphism☆82Updated last month
- a functional programming language with algebraic effects and handlers☆82Updated 2 months ago
- Plasma Programming Language☆166Updated 2 weeks ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- SML reference interpreter☆113Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆79Updated 3 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Example row-polymorphism implementations☆61Updated last year
- higher order dependently typed logic programing☆171Updated 6 years ago
- Haskell bindings to Lua, an embeddable scripting language.☆133Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- Kempe is a compiled stack-based language☆58Updated 7 months ago
- theseus, functional programming language with fully reversible computation☆122Updated 5 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications☆198Updated 3 years ago
- Haskell + Lisp☆208Updated 11 months ago
- A language experiment -- irc.freenode.net ##coda☆162Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago