Alternatives and similar repositories for strange-loop-2019

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

• donnaware / AGC
  FPGA Based Apollo Guidance Computer
  ☆86Updated 6 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆48Updated 6 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated this week
• chmeeedalf / gecko-dev
  POWER-targeted JIT fork of Mozilla.
  ☆12Updated 3 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 4 months ago
• tommythorn / fpgammix
  Partial implementation of Knuth's MMIX processor (FPGA softcore)
  ☆54Updated 9 months ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆68Updated 8 years ago
• openbios / openfirmware
  OpenFirmware as used on OLPC (and elsewhere)
  ☆123Updated 10 years ago
• cbiffle / cfm
  A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
  ☆60Updated 4 years ago
• rcornwell / ctss
  CTSS source and binaries
  ☆40Updated 3 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
  ☆37Updated 3 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆37Updated this week
• Dyalog / DyalogDocker
  Run Dyalog APL under Docker
  ☆11Updated last month
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆40Updated 7 months ago
• rongarret / gll-mag-patch
  ☆46Updated 8 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
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆37Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• xdobry / tclsqueak
  Graphical object oriented programming environment for Tcl, XOTcl, TclOO programming language inspired by famous smalltalk Squeak
  ☆38Updated 10 years ago
• dancrossnyc / multics
  Source for the Multics operating system
  ☆129Updated 4 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆38Updated 2 months ago
• jdersch / PERQemu
  An emulator for the Three Rivers Computer PERQ workstation
  ☆25Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• andrastantos / cray-sim
  Cray PVP Simulator
  ☆145Updated 10 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago