witheve / rfcs

Related projects ⓘ

Alternatives and complementary repositories for rfcs

• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• witheve / docs
  Documentation for Eve
  ☆19Updated last year
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆65Updated last year
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• harc / constraint-based-spreadsheet
  ☆41Updated last year
• gravicappa / shen-js
  Shen on javascript.
  ☆68Updated 6 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆127Updated 6 years ago
• soegaard / whalesong
  Whalesong: Racket to JavaScript compiler
  ☆145Updated 7 years ago
• soney / interstate
  ☆53Updated 3 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆259Updated 6 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆126Updated 5 months ago
• cdglabs / thinglab
  Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.
  ☆102Updated 2 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆19Updated 7 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 4 months ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated last year
• mkremins / flense
  Edit trees, not text
  ☆101Updated 7 years ago
• cloxp / cloxp-install
  Clojure IDE for explorative and interactive development.
  ☆67Updated 7 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆88Updated 8 months ago
• 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, comp…
  ☆30Updated 3 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 11 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆190Updated 7 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated last year