Alternatives and similar repositories for chemlambda-gui:

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

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆94Updated 2 months ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆58Updated this week
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆140Updated 2 weeks ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• brandonpelfrey / complex-function-plot
  A WebGL-based Complex Expression Parser and Plotter
  ☆99Updated 9 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆132Updated 7 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• Chase-C / Flocking-Simulation
  A 3D Boids-like flocking simulation coded in Haskell.
  ☆64Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆101Updated 9 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• sparist / Om
  The Om programming language.
  ☆171Updated 3 months ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 4 months ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆86Updated 2 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆108Updated 9 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆159Updated 5 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆197Updated 11 months ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆139Updated 4 months ago
• ctford / kolmogorov-music
  ☆60Updated 7 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• rodrigosetti / stamps
  A language for producing art
  ☆116Updated 5 years ago