Alternatives and similar repositories for hyperworld

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

• thedeemon / curved
  Walk inside curved spaces
  ☆14Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆142Updated 7 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• agerasev / hypertrace
  Real-time hyperbolic space ray tracer
  ☆18Updated 2 years ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆24Updated 2 months ago
• sampersand / knight
  Implementations of the Knight programming language
  ☆22Updated 4 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated 10 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆57Updated 8 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• langjam / jam0002
  ☆38Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆324Updated 4 months ago
• 2swap / swaptube
  youtube video renderer
  ☆382Updated last week
• Mesabloo / snowstar
  Here lies the code for the Snow* programming language, currently being rewritten.
  ☆33Updated 6 years ago
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆111Updated 7 months ago
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆29Updated 2 years ago
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆125Updated 3 years ago
• wotpp / wotpp
  A small macro language for producing and manipulating strings.
  ☆70Updated 3 years ago
• noughtmare / hypercube
  Minecraft clone in haskell focussed on performance.
  ☆25Updated last year
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆85Updated last year
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• caliconiko / shapes
  A graphical shape based esolang
  ☆33Updated 2 years ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆13Updated 5 months ago
• TodePond / CellPond
  surreal cellular automata
  ☆350Updated 2 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• johnBuffer / NovaBug
  ☆139Updated 3 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆123Updated 3 years ago
• tiny-bow / ribbon-language
  Ribbon programming language
  ☆16Updated 3 weeks ago