Discover @mstone Open Source projects

Michael Stone (@mstone)

mstone

Stars
102
Global Rank 204,975 (Top 8 %)
Followers 34
Following 41
Registered about 14 years ago
Most used languages

Haskell
30.8 %

C
15.4 %

C++
7.7 %

Swift
7.7 %

Python
7.7 %

Rust
7.7 %

Go
7.7 %

Nix
7.7 %

JavaScript
7.7 %
Location 🇺🇸 United States
Country Total Rank 43,573
Country Ranking

Haskell
505

Nix
823

Rust
2,455

Swift
4,265

depict

depict – share mental models better

soutei

a logic-based trust-management system

vscan

a text scanning suite

klee

A symbolic interpreter for LLVM bitcode

espresso

A minimalist Swift controller for the DE1PRO v1.1

atlas

an experimental wiki intended to explore low-latency search, editing, and mapping of the kinds of boundary objects found in complex sociotechnical systems

qemu-m1

qemu with Alexander Graf's 'hvf: Implement Apple Silicon Support' patches applied

persistent-protobuf

a Template-Haskell routine to ease integration between Persistent and protobufs

debnacl

Packaging for http://nacl.cace-project.eu

hsnacl

Haskell bindings for nacl

focus

an experiment in collaboration

licensor

embed-mastodon

A Wordpress plugin to prettily embed Mastodon posts