qteatime / crochetLinks
Crochet: A tool for creating and remixing interactive experiences, safely.
☆126Updated last year
Alternatives and similar repositories for crochet
Users that are interested in crochet are comparing it to the libraries listed below
Sorting:
- [wip] a programming environment for collaboration☆110Updated 6 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- A functional programming language with shell scripting capabilities☆117Updated 3 weeks ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- a tiny tile-based editor☆304Updated 2 weeks ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated 3 weeks ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆98Updated 2 years ago
- Collection of Kind2 programs and proofs☆11Updated last year
- A declarative concatenative programming language☆164Updated 8 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆105Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 3 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆114Updated 8 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- an implementation of stuck macros☆144Updated 2 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆34Updated last month
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- An Elm to OCaml compiler☆208Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- The compiler for Keli☆174Updated 6 years ago
- A minimal proof language.☆207Updated 6 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Toy programming language☆19Updated last year
- Cara language compiler☆45Updated last month
- Formality in itself☆20Updated 4 years ago
- SKI combinators☆55Updated 8 years ago