Alternatives and similar repositories for crochet:

Users that are interested in crochet are comparing it to the libraries listed below

• origamitower / purr
  [wip] a programming environment for collaboration
  ☆110Updated 6 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 9 months ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆99Updated 10 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆112Updated last month
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆102Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆117Updated last year
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆163Updated 3 months ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆300Updated this week
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆107Updated 7 years ago
• HigherOrderCO / kindbook
  ☆44Updated last month
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆203Updated 6 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• frank-lang / frank
  Frank compiler
  ☆284Updated 9 months ago
• cara-lang / compiler
  Cara language compiler
  ☆42Updated 3 months ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated this week
• ren-lang / compiler
  Cleaner, clearer JavaScript. A modern scripting language for the Web.
  ☆99Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 7 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆169Updated 2 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆23Updated 3 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago