Alternatives and similar repositories for chemlambda-gui

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

• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• brandonpelfrey / complex-function-plot
  A WebGL-based Complex Expression Parser and Plotter
  ☆102Updated 10 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated 3 weeks ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 8 months ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆179Updated 4 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆109Updated 10 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆105Updated last year
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• 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…
  ☆93Updated last year
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 10 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆188Updated 6 years ago
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆186Updated 2 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated last year
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 2 months ago
• ngn / apl
  deleted. i recommend using k instead: https://codeberg.org/ngn/k
  ☆234Updated 4 years ago