arvidj's Stars
microsoft/NeuralNetworkAnalysis
Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
facebookresearch/TensorComprehensions
A domain specific language to express machine learning workloads.
chrisswhitneyy/fimpublic
Public repo to display Verified Frequent Itemset Mining algorithm
meolic/biddy
A multi-platform Binary Decision Diagrams package
akroshko/emacs-otdb
Uses Emacs org-mode tables as a database for cooking recipes and backpacking gear.
tmalsburg/guess-language.el
Emacs minor mode that detects the language you're typing in. Automatically switches spell checker. Supports multiple languages per document.
chrisdone-archive/intero
KitchenPC/core
KitchenPC core engine and database adapter
bup/bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Please post problems or patches to the mailing list for discussion (see the end of the README below).
simonthum/git-sync
Safe and simple one-script git synchronization
bjonnh/PyOrgMode
A python module for reading and writing orgmode files
ParaGroup/p3arsec
Parallel Patterns Implementation of PARSEC Benchmark Applications
storvik/emacs-lastpass
Emacs LastPass command wrapper.
coduin/epiphany-bsp
BSP implementation for the Parallella; the world's smallest supercomputer
dsheets/codoc
OCaml documentation generator
s-falke/llvm2kittel
llvm2KITTeL
ieure/test-case-mode
test-case-mode is a minor mode for running unit tests.
kirel/detexify
Latex Symbol Classifier Web Frontend
kirel/detexify-hs-backend
Detexify Backend written in Haskell
literallycanvas/literallycanvas
A canvas in your browser. Literally.
JohnMcLear/draw
A real time collaborative drawing tool using nodejs, socket.io & paper.js
lihaoyi/macropy
Macros in Python: quasiquotes, case classes, LINQ and more!
muaz-khan/Canvas-Designer
Collaborative, extendable, JavaScript Canvas2D drawing tool, supports dozens of builtin tools, as well as generates JavaScript code for 2D animations.
arthurnn/howdoi-emacs
Search code from StackOverflow and paste it in emacs.
fabiofalci/sconsify
A spotify console application
sergiotapia/magnetissimo
Web application that indexes all popular torrent sites, and saves it to the local database.
shiyanhui/dht
BitTorrent DHT Protocol && DHT Spider.
Meinersbur/pet
Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
camlspotter/ocamloscope.2
OCamlOScope 2 : OCaml API search
camlspotter/ocamloscope
OCaml API search engine