Michael Jendrusch (@mjendrusch)
github

mjendrusch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    86
  • Global Rank 231,664 (Top 8 %)
  • Followers 27
  • Following 1
  • Registered about 9 years ago
  • Most used languages
    Python
         41.7 %
    Nim
         16.7 %
    Jupyter Notebook
         16.7 %
    Lean     16.7 %
    TeX
         8.3 %

Top repositories

1

nimna

DNA/RNA folding in Nim
Nim
22
star
2

metric

Dimensionful types for Nim.
Nim
19
star
3

torchsupport

Supporting tools for PyTorch in biology research.
Python
19
star
4

pytorch-histogan

PyTorch-HistoGAN implementation.
Python
4
star
5

mobi-talks

LaTeX-Template for talk summaries for students of the Heidelberg Molecular Biotechnology master's programme
TeX
3
star
6

monoidal-categories-reboot

monoidal categories in the Lean theorem prover
Lean
2
star
7

lean-falso

The falso axiom system in Lean
Lean
2
star
8

betafold

Python
2
star
9

assoc

Hacky monoidahedra in Python.
Jupyter Notebook
2
star
10

learning-ifc

Python
2
star
11

protsupport

Python
1
star
12

acr-dms

Jupyter Notebook
1
star