Beast code in Giters

Wild Pouter's repositories

Jim Kindley's Laser Tank game remade with SDL 2.0

Language:C++7 2 1

Hexadecimal editor for Windows

Language:C3 10

Lightweight x86 disassembler in pure OCaml

Language:OCaml2 10

Simple Verilog parser in OCaml

Language:OCaml2 20

An experimental HDL

Language:OCaml200

Formally Verified MIPS Processor

Language:Isabelle200

Visualize graphs with GTK using graphviz as a library

Language:C1 10

C Intermediate Language

Language:OCamlNOASSERTION000

Go Library for Minecraft bots

Language:GoMIT000

Jim Kindley's LaserTank puzzle game, source code cleaned up

Language:C010

Naive SAT Solver in OCaml

Language:OCaml010

Convert Python code into S-expressions

Language:Python010

Authentic clone of Windows 2000/XP Minesweeper

Language:C010