dmbarbour / wikilonLinks
A wiki and web-services based development environment for Awelon project
☆92Updated 6 years ago
Alternatives and similar repositories for wikilon
Users that are interested in wikilon are comparing it to the libraries listed below
Sorting:
- syn·di·cate: a language for interactive programs☆159Updated 6 months ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- The Om programming language.☆174Updated 11 months ago
- Noether programming language☆127Updated 8 years ago
- The Omni Programming Language☆34Updated 7 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated last year
- Cell compiler☆115Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- The propagator system☆41Updated 9 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- ☆41Updated 10 years ago
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- Shen on javascript.☆70Updated 7 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Kanren with databases☆44Updated last year
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- the Art of the Propagator☆52Updated 12 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆150Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- ☆74Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Constraint programming language embedded in Racket☆154Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 3 months ago