sgodwincs Goto Github PK

agda-stdlib

The Agda standard library

bcp47-tags

bevy-persistent

A Bevy helper to easily manage resources that need to persist across game sessions.

blackjack-monte-carlo-es

A program written in both Python and C++ for finding the optimal policy for a game of blackjack.

cargo-mutants

:zombie: `cargo mutants` mutation testing for Rust

chatroom

A C++ chatroom project for school.

dlv-list-rs

ecst

[WIP] Experimental C++14 multithreaded compile-time entity-component-system library.

flif.rs

flif decoder written in Rust

gfx

A high-performance, bindless graphics API for Rust.

gobblet-alpha-beta

Homework for using alpha beta in the game of Gobblet.

iana-charsets

k-bandit-exercise

Exercise implementing k-bandit problem with a non-stationary taget

lalrpop-test

lamda_calculus_formalizations

language-subtag-registry

BCP 47/IANA language subtag data in JSON format.

ordered-multimap-rs

An ordered multimap.

rtp-rs

rtsp-rs

An RTSP 2.0 implementation in Rust

snake

snake-dynamic-programming

Attempt at applying iterative policy evaluation via dynamic programming for the game of snake.

sparse_set

twoway

Twoway / Fast substring search for strings and byte strings (Rust) / Also assorted benchmarks and string search snippets

uriparse-rs

Implementation of RFC3986 including URIs and URI references.

webidl-rs

A WebIDL parser written in Rust.