• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Assembly
  • Created almost 4 years ago
  • Updated almost 4 years ago

Reviews

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

Repository Details

My solutions to 2020's advent of code

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

compilercrim.es

HTML
4
star
15

amiga-includes

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

aoc2023

Solutions for the 2023 Advent of Code
Zig
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