Alternatives and similar repositories for ramen

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

• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• 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 8 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• soney / interstate
  ☆53Updated 4 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• EarlGray / omit
  A self-hosting subset of git functionality in 500 lines
  ☆13Updated 6 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 7 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated last year
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 6 years ago
• saulpw / spwforth
  A clean implementation of Forth on 32-bit linux-x86
  ☆14Updated 4 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated last month
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• synergistics / chemlambda-hask
  A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
  ☆11Updated 8 years ago
• grebenyukaa / cmm-compiler-backend
  Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.
  ☆7Updated 9 years ago
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆15Updated 9 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• alhassy / multistage-programming-taha
  A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
  ☆10Updated 6 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year