tobireinhard
Follow
Stars
Use TradeRepublic in terminal and mass download all documents
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http:https://github.com/logseq/logseq/releases. roadmap: http:https://trello.com/b/8txSM12G/roadmap
Formale Grundlagen der Informatik II (FGDI) - TU Darmstadt
A gently curated list of companies using verification formal methods in industry
A curated list of resources for natural language processing (NLP) in Swedish
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
A collection of out-of-tree Clang plugins for teaching and learning
A curated list of awesome actions to use on GitHub
Contains a nightly build of the master. No support is provided. Use at your own risk.
Cap'n Proto serialization/RPC system - core tools and C++ library
Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.
ANTLR4 parser generator runtime for Rust programming laguage
Symbolic execution of LLVM IR with an engine written in Rust
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
The CBMC stater kit makes it easy to add CBMC verification to a software project.
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
Track and evaluate the performance of your investment portfolio across stocks, cryptocurrencies, and other assets.
QtJambi is a wrapper for using Qt in Java.
This is mainly old vocabulary pronunciation audio from WaniKani
A Japanese dictionary resource that attaches furigana to individual words
JMdict, JMnedict, Kanjidic, KRADFILE/RADKFILE in JSON format
a script and anki addon to turn KanjiVG data into colored stroke order diagrams