Pinned Loading

1. anki-onenote-importer anki-onenote-importer Public

   This Anki addon can import .mht files exported from OneNote

   Python 27 9

2. campusnet-electron campusnet-electron Public

   Get all your DTU course files synced to your computer

   JavaScript 2

3. ensembled-dngo ensembled-dngo Public

   Ensembled Deep Network for Global Optimization

   Jupyter Notebook 1

4. mcmc mcmc Public

   Probabilistic Programming Language using ES6 Generators and the Free Monad

   JavaScript

5. ai-search-visualization ai-search-visualization Public

   Jupyter Notebook

6. simple-prover-pl simple-prover-pl Public

   Prolog code generation from Isabelle's inner syntax

   Haskell