• Stars
    star
    4
  • Rank 3,303,679 (Top 66 %)
  • Language
    HTML
  • Created over 3 years ago
  • Updated 3 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

cursedfs

Make a disk image formatted with both ext2 and FAT at once
Shell
377
star
2

miniforth

A bootsector FORTH
Forth
120
star
3

enumflags2

Rust library for typesystem-assisted bitflags.
Rust
109
star
4

fake-static

rustc hates him! Sidestep borrow checking with this weird trick.
Rust
97
star
5

bashfuck

Write any bash with only the punctuation characters
Shell
76
star
6

busycoq

Busy Beaver deciders backed by Coq proof
Coq
33
star
7

2klinux

Experiments in bootstrapping from bare-metal
Forth
31
star
8

gbtetris

A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.
Assembly
14
star
9

rustc-sat

Makes rustc's exhaustiveness checker solve SAT problems
Rust
14
star
10

ember

an Apple II-style monitor that fits in your MBR.
Assembly
9
star
11

isabelle-math-contests

Solutions to math olympiad problems in Isabelle/HOL
9
star
12

bassh

I started writing an SSH client in Bash and got worryingly far before getting bored
Shell
8
star
13

mbc3-fiddle

Game Boy ROM for RTC tests and exploration
Assembly
7
star
14

amiga-includes

The assembler include files for the Commodore Amiga.
4
star
15

aoc2023

Solutions for the 2023 Advent of Code
Zig
3
star
16

aoc2020

My solutions to 2020's advent of code
Assembly
3
star
17

isabelle-markup

Export Isabelle theories to HTML with full syntax highlighting
Rust
2
star
18

rpi-game

An arcade game for the Raspberry Pi
C
2
star
19

mips-quine

MIPS Quine that disassembles its own code and parses its own ELF symbol table
Assembly
2
star
20

ktanesim

A Discord bot that simulates KTaNE bombs.
Python
1
star
21

cpplambdas

C++
1
star
22

guix

My personal fork of the Guix repository.
Scheme
1
star