ceu-lang / ceu-arduinoLinks
Arduino binding for Céu
☆33Updated 6 years ago
Alternatives and similar repositories for ceu-arduino
Users that are interested in ceu-arduino are comparing it to the libraries listed below
Sorting:
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- 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, comp…☆29Updated 4 years ago
- The Programming Language Céu☆222Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Brief language☆20Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- The Om programming language.☆173Updated 9 months ago
- ☆53Updated 4 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Shen on javascript.☆70Updated 6 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- syn·di·cate: a language for interactive programs☆159Updated 4 months ago
- A recreation of Ivan Sutherland's Sketchpad, for the web.☆31Updated 10 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated 9 months ago
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- Graphical programming editor☆33Updated 8 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- ☆18Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆17Updated 5 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- A visual programming environment.☆104Updated 5 years ago