dmbarbour / awelonView external linksLinks
Awelon project is a new UI model with a new language.
☆106Oct 19, 2015Updated 10 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☆274May 25, 2013Updated 12 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 9 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 7, 2026Updated last week
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Aug 3, 2013Updated 12 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- A Factor-inspired, concatenative DSL for Clojure☆99Jul 28, 2013Updated 12 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 5 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A wiki and web-services based development environment for Awelon project☆91Apr 1, 2019Updated 6 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Sep 2, 2025Updated 5 months ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 10 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- Fragment-based code distribution!☆128May 12, 2021Updated 4 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 2, 2023Updated 3 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- compile your own functional language☆36May 9, 2019Updated 6 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Aurinko - a document database engine implementation in Clojure☆58Oct 29, 2012Updated 13 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Nix package manager and Nix programming language☆11Nov 21, 2015Updated 10 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 5 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- The Codebase UI that ships with UCM☆20Jan 28, 2026Updated 2 weeks ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Mar 10, 2024Updated last year
- stack-based RPN functional programming language☆55Feb 5, 2018Updated 8 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 5 years ago