yairchu / awesome-structure-editors
A list of projectional and structural editors
β358Updated 8 months ago
Alternatives and similar repositories for awesome-structure-editors:
Users that are interested in awesome-structure-editors are comparing it to the libraries listed below
- a structured interaction engine ποΈ βοΈβ467Updated last year
- a tiny tile-based editorβ295Updated this week
- Hazel, a live functional programming environment with typed holesβ860Updated this week
- A fast functional language based on two level type theoryβ388Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity typesβ391Updated 2 years ago
- Cat - a statically typed functional stack-based programming languageβ253Updated 7 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.β281Updated 2 months ago
- β96Updated 2 years ago
- Racket to JavaScript Compilerβ715Updated last year
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-claβ¦β505Updated this week
- The cuteness implementation of a dependently typed language.β189Updated 2 years ago
- a datalog interpreter in typescriptβ209Updated 3 weeks ago
- A functional programming language based on algebraic effect handlersβ868Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)β284Updated 3 months ago
- A compact, efficient Prolog interpreter written in plain-old C.β283Updated this week
- Rhombus programming languageβ363Updated this week
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.β1,203Updated this week
- A modern supercompiler for call-by-value functional languagesβ398Updated this week
- A language with lexical effect handlers and lightweight effect polymorphismβ344Updated this week
- Systems language with linear types and capability-based security.β1,161Updated 7 months ago
- The Mercury logic programming system.β924Updated this week
- Functional programming with fewer indirectionsβ760Updated 4 years ago
- WIP implementation of a Haskell-like Lisp in Racketβ1,170Updated 9 months ago
- A functional programming language with static memory managementβ840Updated last month
- Small but complete dynamic Forth Interpreter/Compiler for and in WebAssemblyβ506Updated 4 months ago
- Maru - a tiny self-hosting lisp dialectβ190Updated 7 months ago
- A categorical programming language with effectsβ271Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effectsβ996Updated this week
- Compiler for the Mirth programming language.β454Updated this week
- A list of Lisp-flavored programming languagesβ763Updated 3 months ago