meithecatte/isabelle-markup

Stars
2
Language
Rust
Created almost 4 years ago
Updated almost 3 years ago

meithecatte/isabelle-markup

meithecatte

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

Export Isabelle theories to HTML with full syntax highlighting

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

busycoq

Busy Beaver deciders backed by Coq proof

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

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.