amarty66 / lambdawayLinks
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}.
☆29Updated 4 years ago
Alternatives and similar repositories for lambdaway
Users that are interested in lambdaway are comparing it to the libraries listed below
Sorting:
- Graphical programming editor☆33Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- ☆46Updated 2 years ago
- ☆53Updated 4 years ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Website for the malleable systems and software community☆60Updated 2 months ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- web app for ipfs☆12Updated 9 years ago
- Natural Language Datalog☆132Updated 7 years ago
- Houyhnhnm Computing☆21Updated 4 months ago
- ☆14Updated 4 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Updated last year
- 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
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆22Updated 3 weeks ago
- syn·di·cate: a language for interactive programs☆158Updated 3 months ago
- Shem's powerful IDE.☆62Updated 4 years ago
- The Goldberg Variations in Overtone☆100Updated 11 years ago
- ☆18Updated 9 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago