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:
- Editor for language composition☆58Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Shen on javascript.☆70Updated 6 years ago
- The Om programming language.☆174Updated 10 months ago
- microkanren in sml☆26Updated 10 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Cell compiler☆115Updated 2 years ago
- ☆165Updated 12 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆273Updated 12 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 6 months ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Updated 11 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- purple: compiling a reflective language☆33Updated 10 months ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A programming language where the syntax and semantics are mutable at runtime☆167Updated 13 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ☆55Updated 8 years ago
- exploratory programming for an object system in common lisp☆14Updated 10 years ago