csvoss/syndra csvoss/syndra

  • Stars
    star
    4
  • Rank 3,286,764 (Top 66 %)
  • Language
    C
  • Created almost 9 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
csvoss/syndra
github

csvoss

Reviews

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

Repository Details

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

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

coqingbird

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

quantummechanic

Interactive quantum circuit simulation
Python
6
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