yairchu / awesome-structure-editorsLinks
A list of projectional and structural editors
β380Updated 2 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
Sorting:
- a structured interaction engine ποΈ βοΈβ475Updated last year
- a tiny tile-based editorβ304Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holesβ934Updated this week
- a datalog interpreter in typescriptβ211Updated 6 months ago
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- β101Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editorβ79Updated last year
- A modern supercompiler for call-by-value functional languagesβ418Updated 2 months ago
- β89Updated 5 months ago
- Cat - a statically typed functional stack-based programming languageβ263Updated 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.β307Updated 3 weeks ago
- Experiments in building "better" languages and tools; for some measure of better.β238Updated last month
- A functional, content-addressable programming language.β438Updated 2 months ago
- Catalog of visual lambda calculiβ141Updated 3 months ago
- Inpla: Interaction nets as a programming language (the current version)β309Updated 8 months ago
- List of future of programming projectsβ364Updated last year
- An implementation of interaction nets in JS.β132Updated last month
- a playground for making 3D art with lisp and mathβ503Updated 5 months ago
- Rhombus programming languageβ464Updated this week
- A compact, efficient Prolog interpreter written in plain-old C.β300Updated this week
- A language with lexical effect handlers and lightweight effect polymorphismβ380Updated this week
- A logic programming language that has features of both Datalog and answer set programming.β117Updated 2 months ago
- nool is noolβ10Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRβ222Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculusβ174Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity typesβ400Updated 3 years ago
- The practical relational programing language for data-oriented applicationsβ208Updated 2 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-claβ¦β532Updated last month
- π Physical computing system.β162Updated this week
- A garden of small programming language implementations πͺ΄β270Updated this week