witheve / eve-experiments

Related projects ⓘ

Alternatives and complementary repositories for eve-experiments

• harc / nl-datalog
  Natural Language Datalog
  ☆127Updated 6 years ago
• soney / interstate
  ☆53Updated 3 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆28Updated 8 years ago
• harc / constraint-based-spreadsheet
  ☆41Updated last year
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆65Updated last year
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆190Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated last year
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆25Updated 5 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆68Updated 6 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆259Updated 6 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• rbyte / Vogo
  Direct Manipulation of Turtle Graphics
  ☆37Updated 2 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
• witheve / eve-native
  ☆187Updated 4 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 8 years ago
• Glench / REPLugger
  Research prototype of a REPL/debugger
  ☆30Updated 6 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 7 years ago
• lacuna / artifex
  a library for constructing geometric data
  ☆66Updated 5 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated last year
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• mkremins / flense
  Edit trees, not text
  ☆101Updated 7 years ago
• ibdknox / lueve
  Temporary home of Eve in Lua - will be merged into witheve/eve soon.
  ☆19Updated 8 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆19Updated 7 years ago