mjendrusch
biology master's student with the habit of doing anything but biology, mostly programming and metaprogramming stuff for the lab.
Pinned Repositories
assoc
Hacky monoidahedra in Python.
betafold
lean-falso
The falso axiom system in Lean
learning-ifc
metric
Dimensionful types for Nim.
mobi-talks
LaTeX-Template for talk summaries for students of the Heidelberg Molecular Biotechnology master's programme
nimna
DNA/RNA folding in Nim
objc
Objective-C runtime library wrapper for Nim
pytorch-histogan
PyTorch-HistoGAN implementation.
torchsupport
Supporting tools for PyTorch in biology research.
mjendrusch's Repositories
mjendrusch/nimna
DNA/RNA folding in Nim
mjendrusch/metric
Dimensionful types for Nim.
mjendrusch/torchsupport
Supporting tools for PyTorch in biology research.
mjendrusch/objc
Objective-C runtime library wrapper for Nim
mjendrusch/pytorch-histogan
PyTorch-HistoGAN implementation.
mjendrusch/mobi-talks
LaTeX-Template for talk summaries for students of the Heidelberg Molecular Biotechnology master's programme
mjendrusch/assoc
Hacky monoidahedra in Python.
mjendrusch/betafold
mjendrusch/lean-falso
The falso axiom system in Lean
mjendrusch/learning-ifc
mjendrusch/monoidal-categories-reboot
monoidal categories in the Lean theorem prover
mjendrusch/acr-dms
mjendrusch/protsupport
mjendrusch/ccomplex
C ABI compliant complex numbers for Nim.
mjendrusch/CompilerTools.jl
The CompilerTools package, part of the High Performance Scripting project at Intel Labs
mjendrusch/cuda-nim
High-level bindings to the CUDA driver API.
mjendrusch/cusanus-python
Sprachkurs Python
mjendrusch/darknet
Convolutional Neural Networks
mjendrusch/deeplearnjs
Hardware-accelerated deep learning and linear algebra (NumPy) library for the web.
mjendrusch/ffts
The Fastest Fourier Transform in the South
mjendrusch/lean-monoidal-categories
mjendrusch/linear-algebra
Linear algebra for Nim
mjendrusch/localcolabfold
ColabFold on your local PC
mjendrusch/mathlib
Lean mathematical components library
mjendrusch/Nim
Nim (formerly known as "Nimrod") is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nim's design focuses on efficiency, expressiveness, elegance (in the order of priority).
mjendrusch/nim-libtiff
libtiff bindings and image concepts for nim.
mjendrusch/nimsl
Shaders in Nim language
mjendrusch/packages
List of packages for Nimble
mjendrusch/tensorial
non-owning tensors and Arraymancer-compatible odometry subroutines.