daniel-kun / omniLinks
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
Sorting:
- Shen on javascript.☆70Updated 6 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Editor for language composition☆58Updated 2 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last week
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 years ago
- syn·di·cate: a language for interactive programs☆158Updated 3 months ago
- The Om programming language.☆173Updated 8 months ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- ☆55Updated 8 years ago
- General Parser Combinators in Racket☆194Updated 8 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- Cell compiler☆114Updated last year
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Bindings for llvm in racket☆65Updated 10 years ago
- Dependently-typed language with Iverson-style implicit lifting☆122Updated 5 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- miniKanren for interactive tutorials on the web☆34Updated 2 weeks ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago