io12/coq-proofs io12/coq-proofs

  • Stars
    star
    1
  • Language Coq
  • License
    Other
  • Created almost 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
io12/coq-proofs
github

io12

Reviews

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

Repository Details

My proofs for the Coq proof assistant

More Repositories

1

pwninit

pwninit - automate starting binary exploit challenges
Rust
762
star
2

org-fragtog

Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
Emacs Lisp
369
star
3

good-scroll.el

Attempt at good pixel-based smooth scrolling in Emacs
Emacs Lisp
191
star
4

BootMine

Bootable minesweeper game in a 512-byte boot sector
Assembly
162
star
5

godot-portal-demo

Experimenting with portals in Godot Engine
GDScript
79
star
6

WineBox86.apk

x86 Wine on ARM Android with Box86 (very much WIP)
Java
66
star
7

unf

UNixize Filename -- replace annoying anti-unix characters in filenames
Rust
57
star
8

xkcd-unreachable-rs

A Rust macro xkcd_unreachable!() inspired by https://xkcd.com/2200/
Rust
41
star
9

yew-octicons

Easy support for Octicons in yew
Rust
18
star
10

nix-snapd

Snap package for Nix and NixOS
Nix
14
star
11

userland-execve-rust

An implementation of execve() in user space
Rust
10
star
12

Sandvox

The 3D voxel falling-sand game
Rust
9
star
13

hpmor-man-pages

Harry Potter and the Methods of Rationality, Unix Man Page Edition
Python
5
star
14

nix-flatpak

Declarative Flatpak management for the Nix package manager
Python
5
star
15

llvm-rustc-bug-repro

Rust
3
star
16

turboproof

A dependently-typed lisp and proof assistant [IN DEVELOPMENT]
Rust
3
star
17

quoftc

The Quoft Programming Language Compiler
C
3
star
18

MarioLANG

A minimal MarioLANG interpreter
C
3
star
19

deriv-calc

A derivative calculator and equation simplifier in Python.
Python
3
star
20

lambda-cove

https://lambdacove.netlify.com/
HTML
2
star
21

OS

A simple OS in C
C
2
star
22

discord-bedtime

A Discord bot reminding you to sleep
Rust
2
star
23

lambda

Lambda calculus REPL written in C
C
2
star
24

nonsense-discord-bot

Rust
2
star
25

rust-spinners-rand

Get a random `Spinners` from the `spinners` crate
Rust
2
star
26

rust-musl-builder-lzma

rust-musl-builder with liblzma support
Dockerfile
2
star
27

web-dump

/tmp but for static html
HTML
2
star
28

Chip8

A chip8 emulator in C and ncurses
C
2
star
29

qemu-libretro

QEMU libretro core port
C
1
star
30

angr-bad-edition

A mediocre angr clone (WIP)
Rust
1
star
31

sandy

A fork of sandy with mods to make it more like vim
C
1
star
32

ffmpeg-fetch-small-samples

Script to fetch small files from https://samples.ffmpeg.org/
Python
1
star
33

raycaster

C
1
star
34

brainfsym

Rust library for symbolically executing brainf*** code
Rust
1
star
35

gcc-mips-spim

Buggy WIP toolchain to compile C to SPIM-compatible MIPS assembly
C
1
star
36

nixos-framework-led

NixOS module for changing the LED color on Framework laptops
Nix
1
star
37

nvim-plumb

Neovim plugin for integration with the Plan 9 plumber
Python
1
star
38

toy-git-rs

Toy git implementation in Rust
Rust
1
star