Ericson2314/lean-tic-tac-toe

Stars
5
Rank 2,852,734 (Top 57 %)
Language Lean
Created about 1 month ago
Updated about 1 month ago

Ericson2314/lean-tic-tac-toe

Ericson2314

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

Voxlap

Making Ken Silverman's "Voxlap" voxel graphics engine run on any platform with SDL.

nixos-configuration

Much better than a .dotfiles repo

lighthouse

Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)

baccumulation

rust-papers

An enrichment of Rust's core language to support more advanced features

henet

Haskell bindings for ENet

hasnip

A network-compatable rewrite of the Ace of Spades 0.* clients in Haskell

clash-prelude-quickcheck

QuickCheck instances for various types in the CλaSH Prelude

tuf-content-addressing-notes

Some notes for doing a modified TUF atop some sort of recursive content-addressing system (like IPFS)

matrix-client

haskell-vcache

large, persistent, memcached values and structure sharing for Haskell

cross-paper

rust-puc

Persistent map and set made with a hash array mapped trie.

Renegade-Beta-Assets

Based off of Reaver11's work

disass

A conservative, sound disassembler designed to facilitate easy reassembly

APB-signiture-stats

for Command & Conquer: Red Alert: A Path Beyond. Design by APB_ICE

wl-pprint-text-class

A Simple Class for Pretty Printing with wl-pprint-text, Analogous to Show

Tiberian-Dawn-FPS

Bringing the world of the first Command & Conquer game to a first person perspective, accurately

hs2arr