MikaelMayer / Editor

Related projects ⓘ

Alternatives and complementary repositories for Editor

• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 11 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆18Updated 2 weeks ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆28Updated last year
• marianoguerra / future-of-coding-weekly
  repository to work on future of coding weekly newsletter
  ☆32Updated this week
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆57Updated last year
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆80Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• prologbyexample / code
  ☆27Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated 3 weeks ago
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆20Updated this week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• mgree / trampoline
  Safely running potentially non-terminating functions in Elm.
  ☆10Updated 3 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years 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 5 months ago
• jaredly / unison.rs
  ☆67Updated 2 years ago
• wires / wtf
  Well Typed Foundations 🏛️
  ☆15Updated 3 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• newlandsvalley / purescript-school-of-music
  Port of the Haskell School of Music to Purescript
  ☆21Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated 3 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆31Updated 3 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆27Updated 9 months ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 years ago