daniel-kun / omni
The Omni Programming Language
☆34Updated 7 years ago
Alternatives and similar repositories for omni:
Users that are interested in omni are comparing it to the libraries listed below
- Metaprogramming framework for .net☆91Updated 5 years ago
- Editor for language composition☆58Updated 2 years ago
- Shen on javascript.☆69Updated 6 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- microkanren in sml☆26Updated 10 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- purple: compiling a reflective language☆32Updated 5 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- scm->js☆22Updated 9 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆129Updated this week
- a minimal implementation of incremental computation in Scheme☆34Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago