Alternatives and similar repositories for ancient-c-compilers

Users that are interested in ancient-c-compilers are comparing it to the libraries listed below

• j0hnnMcCock / fuckNSA

  View on GitHub
  fuckNSA
  ☆40Dec 5, 2013Updated 12 years ago
• PhoenixBureau / PythonOberon

  View on GitHub
  Some software for using Oberon 2013. http://www.inf.ethz.ch/personal/wirth/ProjectOberon/
  ☆15Nov 7, 2023Updated 2 years ago
• jarikomppa / textgl

  View on GitHub
  Software rendered GL subset for text mode demos
  ☆19Jan 14, 2014Updated 12 years ago
• moneytech / ncc

  View on GitHub
  a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64
  ☆25Oct 12, 2023Updated 2 years ago
• libtom / libtompoly

  View on GitHub
  ☆38Nov 7, 2022Updated 3 years ago
• sgraham / dyibicc

  View on GitHub
  A small C compiler
  ☆33Jun 24, 2025Updated 7 months ago
• theoremprover-museum / LCF77

  View on GitHub
  The original Edinburgh LCF.
  ☆35Oct 21, 2016Updated 9 years ago
• bon3yard / ihpublic

  View on GitHub
  --DEPRECATED--. Use other top level repository under IntellectualHeaven.
  ☆42Jan 30, 2015Updated 11 years ago
• aryx / lfs

  View on GitHub
  logic file system
  ☆27Mar 16, 2018Updated 7 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• YachtClubGames / Propeller

  View on GitHub
  Our Game Engine
  ☆10Dec 1, 2016Updated 9 years ago
• rogersmark / mls-api

  View on GitHub
  Django App for the MLS Soccer Stats API I'm playing with
  ☆15Aug 20, 2013Updated 12 years ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• noct / cutf

  View on GitHub
  Minimal C port of UTF8-CPP
  ☆12Jun 2, 2019Updated 6 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• andreypopp / type-systems

  View on GitHub
  Playing with type systems
  ☆51Dec 29, 2024Updated last year
• bacongravy / vagrant-package-vmware

  View on GitHub
  Enables Vagrant to package a running VMware environment into a box
  ☆11Feb 1, 2019Updated 7 years ago
• benfle / META-II

  View on GitHub
  Experiments with META II
  ☆12Jan 9, 2018Updated 8 years ago
• camio / sbase

  View on GitHub
  ☆23Nov 13, 2014Updated 11 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• McIkye / tools

  View on GitHub
  set of ELF tools
  ☆12Sep 1, 2015Updated 10 years ago
• ahrvoje / numerics

  View on GitHub
  Numerical snippets & tests
  ☆12Jan 5, 2026Updated last month
• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• sabotage-linux / gnu-getopt

  View on GitHub
  a getopt[_long] implementation with GNU semantics, taken from netbsd
  ☆13Sep 24, 2012Updated 13 years ago
• nint22 / 3DTutorial

  View on GitHub
  Lesson source code for the book "3D Computer Graphics: Software Revealed"
  ☆39Nov 25, 2012Updated 13 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• rreusser / rrcfd

  View on GitHub
  2354 bytes of CFD!
  ☆12Feb 15, 2018Updated 7 years ago
• CTSRD-CHERI / gxemul

  View on GitHub
  Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features
  ☆16Dec 8, 2015Updated 10 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆18Apr 17, 2021Updated 4 years ago
• jsspencer / generic_makefile

  View on GitHub
  A generic makefile for compiling C, C++ and Fortran source code
  ☆10May 26, 2014Updated 11 years ago
• Project-Oberon / DOSOberon

  View on GitHub
  Oberon System for DOS/386
  ☆12Apr 1, 2013Updated 12 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• poppa / Pike-Modules

  View on GitHub
  Various Pike modules
  ☆18Aug 17, 2016Updated 9 years ago
• btrott / Crypt-OpenPGP

  View on GitHub
  Pure-Perl OpenPGP implementation
  ☆18Jul 28, 2017Updated 8 years ago
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 3 months ago
• fgenesis / pngrim

  View on GitHub
  Small utility to remove white borders/halo around PNG textures when rendered with OpenGL
  ☆18Mar 15, 2015Updated 10 years ago
• Madsy / SelfLoader

  View on GitHub
  Simple code to resolve library functions at runtime
  ☆10Jan 5, 2015Updated 11 years ago
• Terry-Davis-Archive / DivineOS

  View on GitHub
  Advancing the 64-Bit Temple Operating System into the future.
  ☆13Jan 8, 2019Updated 7 years ago