DasNaCl

Germany

Pinned Repositories

anyseq
genome sequence alignment
Language:C++0 2 10
coq-tricks
Tricks you wish the Coq manual told you
Language:Coq0 1 00
csc
Language:TeX6 2 03
doom-emacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp0 1 00
dotfiles
My dotfiles
Language:Python0 2 00
hugo-tanka
📝 A minimalist, text-oriented, and performant theme for Hugo/blogdown.
Language:HTML0 2 00
labelit
Lightweight Tool for Object-Detection Labeling
Language:JavaScript1 2 00
old-university-projects
Language:C++0 3 00

DasNaCl's Repositories

DasNaCl/csc
Language:TeX6 2 03
DasNaCl/labelit
Lightweight Tool for Object-Detection Labeling
Language:JavaScript1 2 00
DasNaCl/anyseq
genome sequence alignment
Language:C++0 2 10
DasNaCl/coq-tricks
Tricks you wish the Coq manual told you
Language:Coq0 1 00
DasNaCl/doom-emacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp0 1 00
DasNaCl/dotfiles
My dotfiles
Language:Python0 2 00
DasNaCl/hugo-tanka
📝 A minimalist, text-oriented, and performant theme for Hugo/blogdown.
Language:HTML0 2 00
DasNaCl/icon-example
Fork of https://gitlab.dkrz.de/skosukhin/icon-example/-/tree/master
Language:C0 2 00
DasNaCl/my
Language:C++0 2 00
DasNaCl/old-university-projects
Language:C++0 3 00
DasNaCl/pdfnotesh
Language:Shell2 0
DasNaCl/RNA-Playground
Visualize the inner workings of RNA bioinformatics algorithms for structure prediction, interaction prediction and sequence alignment.
Language:JavaScript3 0
DasNaCl/supertag
A tag-based filesystem
DasNaCl/texlab
Fork of texlab project
Language:Rust0 0
DasNaCl/unitpp
Adds units to C++
Language:C++3 5