Discover @csvoss Open Source projects

Chelsea Sierra Voss (@csvoss)

csvoss

Stars
1,808
Global Rank 16,975 (Top 0.6 %)
Followers 430
Following 9
Registered over 11 years ago
Most used languages

Python
46.2 %

Coq 15.4 %

JavaScript
15.4 %

TeX
7.7 %

C
7.7 %

Haskell
7.7 %
Location 🇺🇸 United States
Country Total Rank 5,417
Country Ranking

Coq 69

Python
877

Haskell
1,827

TeX
4,332

onelinerizer

Shamelessly convert any Python 2 script into a terrible single line of code

retroactive

Fun with time travel: Implementing retroactive data structures in Python

traceroute

Trace the path packets take through the Internet, from MIT's servers to any website

coqingbird

To Mock a Mockingbird, formalized in Coq

quantummechanic

Interactive quantum circuit simulation

syndra

Convert high-level facts-about biology into an executable model, using logical deduction (the name is a pun on synthesis + INDRA)

moocviz

Interactive visualizations of edX data. Summer 2014.

carbonate

Carbonate 2.0: Now with a SMILES-to-molecule parser, a reasonable API, and some embeddable user interfaces! Summer 2014.

ipa

International Phonetic Alphabet library for Haskell

carbonate-plus

Interactive organic chemistry practice problems

thingsmimickingotherthings

Interactive visualization of biological mimicry

language-urweb

Ur/Web language support (grammars and snippets) for Atom

6.856

6.856 final paper: Yao's Minimax Principle

theory_of_computation

Formalizing decidability and undecidability of languages.