Discover @spearman Open Source projects

Shane Pearman (@spearman)

spearman

Stars
45
Global Rank 360,549 (Top 13 %)
Followers 21
Following 131
Registered over 10 years ago
Most used languages

Rust
55.6 %

Racket
11.1 %

Nix
11.1 %

TeX
11.1 %

Idris 11.1 %

enum-unitary

Trait and macro for unitary enums

macro-machines

State machine macros with logging and graphviz dotfile generation

range-set

Store collections of PrimInt values as inclusive ranges using generic SmallVec-backed storage

formal-logic

LaTeX Notes on Mathematical Logic

apis

Reactive, session-oriented, asynchronous process-calculus framework

simple-bmp

Create and write 32-bit RGBA BMP files

ibm3270font-nix

Truetype font files for IBM 3270, IBM 3270 Narrow, and IBM 3270 vector fonts

glium-sdl2-hack

An unsafe backend for SDL + Glium that makes it possible to collect input events on the main thread while rendering on a child thread

rcmacro