cell-lang / compiler
Cell compiler
☆115Updated last year
Alternatives and similar repositories for compiler:
Users that are interested in compiler are comparing it to the libraries listed below
- A wiki and web-services based development environment for Awelon project☆92Updated 5 years ago
- ☆96Updated 2 years ago
- syn·di·cate: a language for interactive programs☆154Updated last week
- The compiler for Keli☆172Updated 5 years ago
- Various experiments in relational programming☆271Updated 2 years ago
- ☆187Updated 5 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆391Updated 2 years ago
- The practical relational programing language for data-oriented applications☆196Updated 2 years ago
- Shen for JavaScript☆58Updated 5 months ago
- 1ML prototype interpreter☆277Updated 4 years ago
- Build UI declaratively with Datalog.☆129Updated 2 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- An in-memory datalog implementation for OCaml.☆264Updated 3 months ago
- concatenative array language inspired by kdb/+q☆90Updated 2 years ago
- The Om programming language.☆172Updated 3 months ago
- A simple expressions language with polymorphic extensible row types.☆303Updated last year
- A fast functional language based on two level type theory☆388Updated 2 years ago
- L.B. Stanza Programming Language☆216Updated last year
- A small and expressive dependently typed language☆129Updated 4 years ago
- ☆45Updated 2 months ago
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- a datalog interpreter in typescript☆209Updated 3 weeks ago
- Cat - a statically typed functional stack-based programming language☆253Updated 7 years ago
- Shen language kernel sources for porters☆365Updated 5 months ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- The Makam Metalanguage☆196Updated last year
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 5 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated 2 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago