dmbarbour / awelon
Awelon project is a new UI model with a new language.
☆103Updated 9 years ago
Alternatives and similar repositories for awelon:
Users that are interested in awelon are comparing it to the libraries listed below
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 11 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- miniKanren in the browser☆55Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Crux Programming Language☆52Updated 2 years ago
- microkanren in sml☆26Updated 10 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Shen on javascript.☆69Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Updated 11 years ago
- Programming Language meets UI☆51Updated 7 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- ☆15Updated 8 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 4 months ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Morte IDE☆29Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago