meithecatte/busycoq

Stars
33
Rank 783,877 (Top 16 %)
Language Coq
License
MIT License
Created over 1 year ago
Updated 4 months ago

meithecatte/busycoq

meithecatte

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

Busy Beaver deciders backed by Coq proof

cursedfs

Make a disk image formatted with both ext2 and FAT at once

miniforth

A bootsector FORTH

enumflags2

Rust library for typesystem-assisted bitflags.

fake-static

rustc hates him! Sidestep borrow checking with this weird trick.

bashfuck

Write any bash with only the punctuation characters

2klinux

Experiments in bootstrapping from bare-metal

gbtetris

A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.

rustc-sat

Makes rustc's exhaustiveness checker solve SAT problems

ember

an Apple II-style monitor that fits in your MBR.

isabelle-math-contests

Solutions to math olympiad problems in Isabelle/HOL

bassh

I started writing an SSH client in Bash and got worryingly far before getting bored

mbc3-fiddle

Game Boy ROM for RTC tests and exploration

compilercrim.es

amiga-includes

The assembler include files for the Commodore Amiga.

aoc2023

Solutions for the 2023 Advent of Code

aoc2020

My solutions to 2020's advent of code

isabelle-markup

Export Isabelle theories to HTML with full syntax highlighting

rpi-game

An arcade game for the Raspberry Pi

mips-quine

MIPS Quine that disassembles its own code and parses its own ELF symbol table

ktanesim

A Discord bot that simulates KTaNE bombs.

cpplambdas

guix

My personal fork of the Guix repository.