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
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Programming Language meets UI☆51Updated 7 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 11 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- miniKanren in the browser☆55Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- The Omni Programming Language☆34Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- Shen on javascript.☆69Updated 6 years ago
- Crux Programming Language☆52Updated 2 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 8 years ago
- ☆15Updated 8 years ago
- ☆65Updated 6 years ago
- Isometric rendering for PureScript☆58Updated 5 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- Graphical programming editor☆33Updated 8 years ago
- Morte IDE☆29Updated last year
- This is a library for "Overveld-style" constraint relaxation.☆67Updated 2 years ago