csvoss/coqingbird csvoss/coqingbird

  • Stars
    star
    10
  • Rank 1,797,513 (Top 36 %)
  • Language Coq
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
csvoss/coqingbird
github

csvoss

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

To Mock a Mockingbird, formalized in Coq

More 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

quantummechanic

Interactive quantum circuit simulation
Python
6
star
5

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
6

moocviz

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

carbonate

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

ipa

International Phonetic Alphabet library for Haskell
Haskell
2
star
9

carbonate-plus

Interactive organic chemistry practice problems
Python
1
star
10

thingsmimickingotherthings

Interactive visualization of biological mimicry
Python
1
star
11

language-urweb

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

6.856

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

theory_of_computation

Formalizing decidability and undecidability of languages.
Coq
1
star