Subtype and topic

Software projects about Computer science

Every link here is both a software project and about computer science.

Hall of Fame: 12
Candidates: 16
Median span: 6.9 yrs
First seen: 2008

Strongest Hall records

12 items

Terrain rendering in fewer than 20 lines of code

github.com 9 submissions · 8 people · 7.3 years

Hall of Fame Class of 2021-03 Resurfaced 2025-01-03

793max pts

Make a Lisp

github.com 11 submissions · 11 people · 9.0 years

Hall of Fame Class of 2017-09 Resurfaced 2021-04-24

361max pts

MapSCII – Braille and ASCII map renderer for the console

github.com 7 submissions · 7 people · 8.4 years

Hall of Fame Class of 2024-04 Resurfaced 2025-09-18

389max pts

C4 – C in 4 functions

github.com 7 submissions · 7 people · 10.9 years

Hall of Fame Class of 2023-08 Resurfaced 2023-08-26

517max pts

Automerge: JSON-like data structure for building collaborative apps

github.com 11 submissions · 11 people · 6.8 years

Hall of Fame Class of 2022-02 Resurfaced 2022-02-21

409max pts

Algorithms and Data Structures Explained and Implemented in JavaScript

github.com 10 submissions · 9 people · 4.9 years

Hall of Fame Class of 2021-10 Resurfaced 2023-04-07

483max pts

C Compiler from Scratch

github.com 11 submissions · 11 people · 6.3 years

Hall of Fame Class of 2026-03 Resurfaced 2026-03-24

484max pts

The Z3 Theorem Prover released under MIT license

github.com 10 submissions · 6 people · 10.7 years

Hall of Fame Class of 2019-06 Resurfaced 2025-12-10

304max pts

F* – A Proof-Oriented Programming Language

www.fstar-lang.org 8 submissions · 8 people · 8.4 years

Hall of Fame Class of 2024-05 Resurfaced 2024-12-25

264max pts

Carp – A statically typed Lisp, without a GC, for real-time applications

github.com 10 submissions · 7 people · 7.3 years

Hall of Fame Class of 2021-10 Resurfaced 2023-01-27

259max pts

.NET Orleans

dotnet.github.io 6 submissions · 6 people · 5.4 years

Hall of Fame Class of 2020-10 Resurfaced 2020-10-05

278max pts

What Is miniKanren?

minikanren.org 5 submissions · 3 people · 10.3 years

Hall of Fame Class of 2025-01 Resurfaced 2025-01-02

235max pts

Recently resurfaced

latest 20+ point return

C Compiler from Scratch

github.com 11 submissions · 11 people · 6.3 years

Hall of Fame Class of 2026-03 Resurfaced 2026-03-24

484max pts

The Z3 Theorem Prover released under MIT license

github.com 10 submissions · 6 people · 10.7 years

Hall of Fame Class of 2019-06 Resurfaced 2025-12-10

304max pts

MapSCII – Braille and ASCII map renderer for the console

github.com 7 submissions · 7 people · 8.4 years

Hall of Fame Class of 2024-04 Resurfaced 2025-09-18

389max pts

Terrain rendering in fewer than 20 lines of code

github.com 9 submissions · 8 people · 7.3 years

Hall of Fame Class of 2021-03 Resurfaced 2025-01-03

793max pts

What Is miniKanren?

minikanren.org 5 submissions · 3 people · 10.3 years

Hall of Fame Class of 2025-01 Resurfaced 2025-01-02

235max pts

Candidates

Browse 16 candidates

Halide, a language for image processing and computational photography

halide-lang.org 15 submissions · 15 people · 12.3 years

Candidate Resurfaced 2018-12-27

Needs:2 breakout events 720+ days apart

194max pts

X86 mov is turing complete: mov-only compiler

github.com 14 submissions · 14 people · 10.1 years

Candidate Resurfaced 2021-08-14

Needs:2 breakout events 720+ days apart

238max pts

Tiny C Compiler

bellard.org 4 submissions · 4 people · 17.1 years

Candidate Resurfaced 2026-02-07

Needs:5 submissions

307max pts

Intel SPMD Program Compiler: A Compiler for High-Performance SIMD Programming

ispc.github.io 5 submissions · 5 people · 12.3 years

Candidate Resurfaced 2019-10-25

Needs:2 breakout events 720+ days apart

131max pts

Immer: immutable and persistent data structures for C++

github.com 5 submissions · 5 people · 9.1 years

Candidate Resurfaced 2019-09-12

Needs:2 breakout events 720+ days apart

144max pts

Zstandard – Real-time data compression algorithm

facebook.github.io 6 submissions · 6 people · 6.1 years

Candidate Resurfaced 2022-09-04

Needs:2 breakout events 720+ days apart

286max pts

Herbie: Find and fix floating-point accuracy problems

herbie.uwplse.org 6 submissions · 5 people · 6.5 years

Candidate Resurfaced 2025-08-03

Needs:2 breakout events 720+ days apart

159max pts

Wasm3 entering a minimal maintenance phase

github.com 3 submissions · 3 people · 3.9 years

Candidate Resurfaced 2023-12-18

Needs:5 submissions

559max pts

Markov Keyboard: keyboard layout that changes by Markov frequency (2019)

github.com 3 submissions · 3 people · 5.6 years

Candidate Resurfaced 2024-12-19

Needs:5 submissions3 active years

167max pts

Sigma.js: a JavaScript library for graph drawing

sigmajs.org 5 submissions · 5 people · 3.9 years

Candidate Resurfaced 2015-11-15

Needs:2 breakout events 720+ days apart

201max pts

Selfie – Tiny self-compiling C compiler, RISC-V emulator and hypervisor

selfie.cs.uni-salzburg.at 3 submissions · 3 people · 5.9 years

Candidate Resurfaced 2023-01-16

Needs:2 breakout events 720+ days apart5 submissions

261max pts

Meow Hash (2018)

mollyrocket.com 3 submissions · 3 people · 3.0 years

Candidate Resurfaced 2021-10-29

Needs:5 submissions3 active years

377max pts

Pixel graphics in terminal

github.com 5 submissions · 5 people · 3.5 years

Candidate Resurfaced 2017-11-01

Needs:2 breakout events 720+ days apart3 active years

231max pts

Babel-preset-php: PHP7 to ES7 syntax translator

gitlab.com 5 submissions · 5 people · 3.0 years

Candidate Resurfaced 2020-07-26

Needs:2 breakout events 720+ days apart3 active years

130max pts

Code, Eval, Play, Loop – Common Lisp OpenGL Environment

github.com 3 submissions · 2 people · 6.9 years

Candidate Resurfaced 2021-12-13

Needs:2 breakout events 720+ days apart5 submissions3 submitters3 active years

139max pts

Intel X86 Encoder Decoder

intelxed.github.io 3 submissions · 3 people · 2.4 years

Candidate Resurfaced 2019-05-06

Needs:2 breakout events 720+ days apart5 submissions3 active years

146max pts