Alternatives and similar repositories for Editor:

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

• jaredly / j3
  Another attempt to realize my programming language
  ☆21Updated last week
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆28Updated last year
• jkoppel / ecta
  ☆33Updated 9 months ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• stencila / nixta
  📦 A package manager based on Nix
  ☆20Updated 8 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated 3 months ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆25Updated 2 years ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆22Updated 2 years ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆10Updated 9 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆59Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year