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
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• JohnEarnest / VectorLand
  A tiny thin client for multiplayer games
  ☆18Updated 11 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆34Updated 5 years ago
• racket / draw
  ☆18Updated last week
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated last year
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• lealbaugh / little-loom
  ☆27Updated 6 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 8 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• conal / Fran
  First Haskell implementations of Fran/FRP
  ☆32Updated 6 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• osnr / livegb
  Edit Game Boy games in-browser while they're running.
  ☆35Updated 4 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago