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:
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 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
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- Programming Language meets UI☆51Updated 7 years ago
- Crux Programming Language☆52Updated 3 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- The Art of the Propagator. See also:☆174Updated last year
- A small strongly typed language that compiles to C++11☆152Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆160Updated 6 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- syn·di·cate: a language for interactive programs☆157Updated 2 months ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago
- The Om programming language.☆172Updated 7 months ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Shen on javascript.☆70Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago