arvidj

arvidj's Stars

• coursera-dl/coursera-dl

  Script for downloading Coursera.org videos and naming them.

  Language:Python9.4k3256462.2k

• andreafabrizi/Dropbox-Uploader

  Dropbox Uploader is a BASH script which can be used to upload, download, list or delete files from Dropbox, an online file sharing, synchronization and backup service.

  Language:Shell6.6k2734521.1k

• skeeto/elfeed

  An Emacs web feeds client

  Language:Emacs Lisp1.5k33395117

• DanielDe/org-web

  org-mode on the web, built with React, optimized for mobile, synced with Dropbox and Google Drive

  Language:JavaScript1.4k428083

• dropbox/dbxcli

  A command line client for Dropbox built using the Go SDK

  Language:Go1.1k39139100

• sigma/magit-gh-pulls

  Magit plugin for dealing with GitHub pull requests

  Language:Emacs Lisp254147248

• skyhover/Deckard

  Code clone detection; clone-related bug detection; sematic clone analysis

  Language:C211162679

• EdinburghNLP/code-docstring-corpus

  Preprocessed Python functions and docstrings for automated code documentation (code2doc) and automated code generation (doc2code) tasks.

  Language:Python20081548

• stevenvar/OMicroB

  An OCaml generic virtual machine for microcontrollers

  Language:OCaml137181722

• guykatzz/ReluplexCav2017

  Language:C10111649

• jwbuurlage/Bulk

  A modern interface for implementing bulk-synchronous parallel programs.

  Language:C++937310

• danr/hipspec

  A hip inductive theorem prover!

  Language:Haskell889249

• damaru2/ankigenbot

  Telegram bot to automatically generate and upload anki cards to ankisrs.net

  Language:Python7842110

• vocal-project/vocal

  515

• isamert/lab.el

  Emacs-GitLab integration

  Language:Emacs Lisp47558

• TezTech/fi-compiler

  Custom compiler for Michelson - Tezos Smart Contracts

  Language:JavaScript437115

• ocaml-community/obus

  Pure OCaml implementation of the D-Bus protocol

  Language:OCaml3361215

• olydis/coq2latex

  A command-line tool to generate Latex (inference rules) from inductive coq definitions.

  Language:C#28212

• cucumber/cucumber.ml

  Cucumber for OCaml

  Language:OCaml2789185

• rbardou/clap

  Command-Line Argument Parsing, imperative style with a consumption mechanism.

  Language:OCaml25230

• microsoft/NeuralNetworkAnalysis

  Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.

  Language:C#218116

• Nymphium/openai-ocaml

  OCaml bindings for OpenAI API

  Language:OCaml16203

• dac514/sux0r

  it sux0rs up all the web

  Language:PHP14303

• atacama-dev/llama-cpp-ocaml

  OCaml ctypes bindings to llama.cpp

  Language:C++11313

• mheap/pocket-auth-cli

  Language:JavaScript1031

• fengtan/gmail-to-rss

  Turn a Gmail inbox into an RSS feed

  Language:JavaScript9302

• wijnand-suijlen/bsponmpi

  BSPlib implementation on top MPI

  Language:C81

• stacked-git/magit-stgit

  StGit extension for Magit

  Language:Emacs Lisp7947

• lgrn/ipecho

  A very basic webserver that listens on port 80 and returns the apparent origin IP.

  Language:Go5200

• arvidj/emacs

  My emacs configuration files

  Language:Emacs Lisp2100