Pinned Repositories
agda-stdlib
The Agda standard library
blackjack-monte-carlo-es
A program written in both Python and C++ for finding the optimal policy for a game of blackjack.
dlv-list-rs
lamda_calculus_formalizations
ordered-multimap-rs
An ordered multimap.
rtp-rs
rtsp-rs
An RTSP 2.0 implementation in Rust
sparse_set
uriparse-rs
Implementation of RFC3986 including URIs and URI references.
webidl-rs
A WebIDL parser written in Rust.
sgodwincs's Repositories
sgodwincs/rtsp-rs
An RTSP 2.0 implementation in Rust
sgodwincs/webidl-rs
A WebIDL parser written in Rust.
sgodwincs/uriparse-rs
Implementation of RFC3986 including URIs and URI references.
sgodwincs/ordered-multimap-rs
An ordered multimap.
sgodwincs/blackjack-monte-carlo-es
A program written in both Python and C++ for finding the optimal policy for a game of blackjack.
sgodwincs/dlv-list-rs
sgodwincs/lamda_calculus_formalizations
sgodwincs/sparse_set
sgodwincs/rtp-rs
sgodwincs/agda-stdlib
The Agda standard library
sgodwincs/bcp47-tags
sgodwincs/cargo-mutants
:zombie: `cargo mutants` mutation testing for Rust
sgodwincs/bevy-persistent
A Bevy helper to easily manage resources that need to persist across game sessions.
sgodwincs/chatroom
A C++ chatroom project for school.
sgodwincs/ecst
[WIP] Experimental C++14 multithreaded compile-time entity-component-system library.
sgodwincs/flif.rs
flif decoder written in Rust
sgodwincs/gfx
A high-performance, bindless graphics API for Rust.
sgodwincs/gobblet-alpha-beta
Homework for using alpha beta in the game of Gobblet.
sgodwincs/iana-charsets
sgodwincs/k-bandit-exercise
Exercise implementing k-bandit problem with a non-stationary taget
sgodwincs/lalrpop-test
sgodwincs/language-subtag-registry
BCP 47/IANA language subtag data in JSON format.
sgodwincs/snake
sgodwincs/snake-dynamic-programming
Attempt at applying iterative policy evaluation via dynamic programming for the game of snake.
sgodwincs/twoway
Twoway / Fast substring search for strings and byte strings (Rust) / Also assorted benchmarks and string search snippets