Alternatives and similar repositories for strange-loop-2019

Users that are interested in strange-loop-2019 are comparing it to the libraries listed below

• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated 2 weeks ago
• donnaware / AGC
  FPGA Based Apollo Guidance Computer
  ☆83Updated 6 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 2 months ago
• Dyalog / DyalogDocker
  Run Dyalog APL under Docker
  ☆10Updated last year
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• openbios / openfirmware
  OpenFirmware as used on OLPC (and elsewhere)
  ☆115Updated 9 years ago
• dancrossnyc / multics
  Source for the Multics operating system
  ☆123Updated 4 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆36Updated last week
• chmeeedalf / gecko-dev
  POWER-targeted JIT fork of Mozilla.
  ☆12Updated 3 years ago
• tommythorn / fpgammix
  Partial implementation of Knuth's MMIX processor (FPGA softcore)
  ☆53Updated 4 months ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆49Updated 5 years ago
• brouhaha / tumble
  utility to construct PDF files from one or more image files
  ☆22Updated last year
• cbiffle / cfm
  A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
  ☆58Updated 4 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆17Updated 4 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 3 years ago
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆36Updated last week
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• dspinellis / oral-history-of-unix
  Work by the late Michael Sean Mahoney, Professor of the History of Science at Princeton University, to create a history of Unix
  ☆18Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆16Updated 3 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 8 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆63Updated 7 years ago
• rcornwell / ctss
  CTSS source and binaries
  ☆36Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago