• Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language
    Shell
  • License
    Other
  • Created 3 months 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

Write any bash with only the punctuation characters

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

busycoq

Busy Beaver deciders backed by Coq proof
Coq
33
star
6

2klinux

Experiments in bootstrapping from bare-metal
Forth
31
star
7

gbtetris

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

rustc-sat

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

ember

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

isabelle-math-contests

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

bassh

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

mbc3-fiddle

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

compilercrim.es

HTML
4
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