Alternatives and similar repositories for hyperworld:

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

• noughtmare / hypercube
  Minecraft clone in haskell focussed on performance.
  ☆22Updated 10 months ago
• 2swap / swaptube
  youtube video renderer
  ☆172Updated this week
• thedeemon / curved
  Walk inside curved spaces
  ☆14Updated 2 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• caliconiko / shapes
  A graphical shape based esolang
  ☆32Updated 2 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆128Updated 6 years ago
• 1Jajen1 / Brokkr
  Libraries and server implementation for the game Minecraft
  ☆13Updated 9 months ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆22Updated last week
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆19Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆16Updated last year
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆55Updated 5 months ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 2 weeks ago
• ArhanChaudhary / qter
  The human-friendly Rubik's cube computer (WIP)
  ☆29Updated this week
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• ribbon-lang / ribbon
  Ribbon programming language compiler, runtime, etc
  ☆15Updated last week
• TodePond / CellPond
  surreal cellular automata
  ☆337Updated 3 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 6 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆12Updated 9 months ago
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆117Updated 3 years ago
• RockBrentwood / Combo
  A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…
  ☆10Updated last year
• kspalaiologos / yarg
  Yet another UNIX-like argument parser for C. CC0-licensed.
  ☆16Updated 4 months ago
• HackerPoet / Engine4D
  A Unity toolkit for making 4D games
  ☆192Updated 8 months ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆21Updated 2 weeks ago
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆13Updated last month
• agerasev / hypertrace
  Real-time hyperbolic space ray tracer
  ☆18Updated last year
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆43Updated last month
• Ralith / hypermine
  A hyperbolic voxel game
  ☆164Updated last week
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago