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
Sorting:
- 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
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 11 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- The Art of the Propagator. See also:☆173Updated last year
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Shen on javascript.☆69Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- higher order dependently typed logic programing☆171Updated 6 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Crux Programming Language☆52Updated 2 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- miniKanren in the browser☆55Updated 9 years ago
- syn·di·cate: a language for interactive programs☆156Updated 2 months ago
- purple: compiling a reflective language☆32Updated 6 months ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- ☆15Updated 8 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆160Updated 6 years ago
- Experimental Malfunction backend for Idris☆82Updated 6 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- Semantics for ES5☆81Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago