dmbarbour / awelonLinks
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
Sorting:
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Shen on javascript.☆70Updated 6 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- The propagator system☆41Updated 9 years ago
- The Art of the Propagator. See also:☆174Updated last year
- higher order dependently typed logic programing☆173Updated 6 years ago
- ☆55Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- The LVish Haskell library☆80Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- miniKanren in the browser☆55Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Crux Programming Language☆52Updated last week
- ECMAScript derived programming language☆68Updated 10 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- A UI library based on the incremental lambda calculus☆111Updated 6 years ago