qteatime / crochet
Crochet: A tool for creating and remixing interactive experiences, safely.
☆124Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for crochet
- [wip] a programming environment for collaboration☆111Updated 5 years ago
- A functional programming language with shell scripting capabilities☆92Updated last month
- Just a list of Awesome Alt Langs to check out☆95Updated 7 months ago
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- Formality in itself☆20Updated 3 years ago
- ☆110Updated 9 months ago
- Frank compiler☆279Updated 6 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆221Updated 10 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆98Updated 2 years ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆102Updated last year
- A ready-to-fork interpreted functional language with type inference☆389Updated 11 months ago
- Cara language compiler☆41Updated 3 weeks ago
- a tiny tile-based editor☆284Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A categorical programming language with effects☆267Updated last year
- Tutorial / REPL for the lambda calculus☆62Updated last month
- Ordo: A minimalist language with row polymorphism☆80Updated 4 months ago
- an implementation of stuck macros☆132Updated 3 weeks ago
- Experiments in building "better" languages and tools; for some measure of better.☆189Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆279Updated 3 weeks ago
- A fast functional language based on two level type theory☆388Updated last year
- A pure type system implemented in OCaml☆77Updated 3 years ago
- A minimal proof checker.☆65Updated 2 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated last month
- The Makam Metalanguage☆194Updated last year