Alternatives and similar repositories for chemlambda-gui:

Users that are interested in chemlambda-gui are comparing it to the libraries listed below

• elenasa / ULAM
  Compiler for MFM programming language
  ☆60Updated last month
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 8 months ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 9 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• brandonpelfrey / complex-function-plot
  A WebGL-based Complex Expression Parser and Plotter
  ☆100Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• abagames / sarad
  write a program only by a simple click
  ☆49Updated 9 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆109Updated 9 years ago
• conal / shady-gen
  Functional GPU programming - DSEL & compiler
  ☆22Updated 8 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆51Updated 6 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆160Updated 6 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…
  ☆90Updated last year
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 10 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• jb55 / vrscript-samples
  Some vrscript samples by John Carmack
  ☆74Updated 5 years ago
• cgyarvin / urbit
  Urbit: an operating function
  ☆95Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago