Chelsea Sierra Voss (@csvoss)
github

csvoss

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,808
  • Global Rank 17,083 (Top 0.6 %)
  • Followers 430
  • Following 9
  • Registered almost 12 years ago
  • Most used languages
    Python
         46.2 %
    JavaScript
         15.4 %
    Coq     15.4 %
    Haskell
         7.7 %
    TeX
         7.7 %
    C
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 5,417
  • Country Ranking
    Coq     67
    Python
         876
    Haskell
         2,153
    TeX
         6,662

Top repositories

1

onelinerizer

Shamelessly convert any Python 2 script into a terrible single line of code
Python
1,514
star
2

retroactive

Fun with time travel: Implementing retroactive data structures in Python
Python
223
star
3

traceroute

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

coqingbird

To Mock a Mockingbird, formalized in Coq
Coq
10
star
5

quantummechanic

Interactive quantum circuit simulation
Python
6
star
6

syndra

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

moocviz

Interactive visualizations of edX data. Summer 2014.
JavaScript
3
star
8

carbonate

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

ipa

International Phonetic Alphabet library for Haskell
Haskell
2
star
10

carbonate-plus

Interactive organic chemistry practice problems
Python
1
star
11

thingsmimickingotherthings

Interactive visualization of biological mimicry
Python
1
star
12

language-urweb

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

6.856

6.856 final paper: Yao's Minimax Principle
TeX
1
star
14

theory_of_computation

Formalizing decidability and undecidability of languages.
Coq
1
star