amarty66 / lambdaway
The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, composing and coding on the web, where the markup, styling and scripting are unified in a single language, {lambda talk}.
☆30Updated 3 years ago
Alternatives and similar repositories for lambdaway:
Users that are interested in lambdaway are comparing it to the libraries listed below
- Graphical programming editor☆33Updated 8 years ago
- ☆53Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- ☆14Updated 4 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- wescheme☆27Updated 3 weeks ago
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- web app for ipfs☆12Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Kernel-like interpreter☆24Updated 6 months ago
- ☆43Updated 2 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- Kanren with databases☆43Updated 7 months ago
- Website for the malleable systems and software community☆59Updated 2 months ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- ☆46Updated 4 months ago