Alternatives and similar repositories for ramen

Users that are interested in ramen are comparing it to the libraries listed below

• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated last month
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 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…
  ☆92Updated last year
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• lealbaugh / little-loom
  ☆27Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 9 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 4 months ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• arendsee / lsystems
  L-system generators and visualizers
  ☆32Updated 4 years ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated last year
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• soney / interstate
  ☆53Updated 4 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago