Stephen Sherratt's repositories
life-gl
Conway's game of life in shader code
Language:RustMIT000
000
Language:JavaScriptMIT000
train
Train game for JS1K2015
Language:JavaScript000
Language:JavaScript000
resource-pooling
a derivative of Lwt_pool with extensions
MIT000
rb-kqueue
An FFI wrapper for kqueue
MIT000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
000
Language:RustMIT000
sel4ninja
seL4-based apps which run on ninjablocks
Language:C000
Language:CMake000
000
coc-metals
coc.nvim extension for Metals, the Scala language server
000
Language:Rust000
cpal
Cross-platform audio I/O library in pure Rust
Apache-2.0000
ash
Vulkan bindings for Rust
Apache-2.0000
Language:Rust000
Language:Rust000
Language:Rust000
lisp-experiment
Learn more about lisp by implementing it
Language:TypeScript000
Language:Rust000
Language:Rust000