qteatime / crochet
Crochet: A tool for creating and remixing interactive experiences, safely.
☆124Updated last year
Alternatives and similar repositories for crochet:
Users that are interested in crochet are comparing it to the libraries listed below
- [wip] a programming environment for collaboration☆109Updated 6 years ago
- Just a list of Awesome Alt Langs to check out☆98Updated 11 months ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆81Updated last month
- Collection of Kind2 programs and proofs☆11Updated 10 months ago
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- The Makam Metalanguage☆198Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- an implementation of stuck macros☆139Updated 2 weeks ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- An Elm to OCaml compiler☆206Updated 4 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆227Updated this week
- ☆45Updated 2 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆103Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆51Updated 2 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆109Updated 7 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs