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 last year
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Collection of Kind2 programs and proofs☆11Updated 11 months ago
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last month
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Formality in itself☆20Updated 4 years ago
- Small lisp interpreter in Python☆9Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 2 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆52Updated 3 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- An Elm to OCaml compiler☆206Updated 5 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Cara language compiler☆43Updated 5 months ago
- An implementation of the Lox language in Racket.☆33Updated last year
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 5 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated last year
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆60Updated 2 weeks ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- an implementation of stuck macros☆139Updated last month
- theseus, functional programming language with fully reversible computation☆121Updated 5 years ago
- Toy programming language☆19Updated 11 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆110Updated 7 years ago
- SKI combinators☆54Updated 7 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- A minimal proof language.☆204Updated 6 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago