Giters
Daniel Schoepe (dschoepe)

dschoepe

Geek Repo

14

followers

0

following

23

stars

Company:Amazon

Location:London

Github PK Tool:Github PK Tool

Daniel Schoepe's repositories

wallabag-kindle

Language:PythonLicense:GPL-3.0Stargazers:16Issues:5Issues:0

qubes-xmonad

Fork of xmonad to provide better integration with QubesOS

Language:HaskellLicense:NOASSERTIONStargazers:9Issues:0Issues:0

bibfetch

Scripts for fetching BibTeX entries (from Google Scholar and DBLP)

Language:PerlLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

tud-mensa

Small program to display the TU Darmstadt cafeteria menu on the command line

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:4Issues:0

spacemacs-boogie-friends

Spacemacs layer for working with Dafny, Boogie, and Z3

Language:Emacs LispStargazers:4Issues:3Issues:1

notmuch-snooze

Support for snoozing messages in the notmuch mail client

Language:Emacs LispLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

rmv-query

Command-line tool for querying the route information of the German transport association RMV

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

dmix

Fork of pmix that allows streaming (and now much more)

Language:JavaLicense:Apache-2.0Stargazers:1Issues:0Issues:0

fmis-agda

Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012

Stargazers:1Issues:0Issues:0

ghc-mod

Happy Haskell programming on Emacs

Language:Emacs LispLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

newsbeuter

Newsbeuter is an open-source RSS/Atom feed reader for text terminals.

Language:C++License:MITStargazers:1Issues:0Issues:0

pdfPres

Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).

Language:CLicense:GPL-3.0Stargazers:1Issues:0Issues:0

qubes-xmonad-contrib

Fork of xmonad-contrib with QubesOS-specific modifications

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

vt

Command-line västtrafik client

Language:PythonLicense:GPL-2.0Stargazers:1Issues:0Issues:0

ChalmersSecurity

Chalmers Security Group Website

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

coq-course

Coq course at Chalmers CSE

Stargazers:0Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

License:NOASSERTIONStargazers:0Issues:0Issues:0

deeds

Deeds is an Extensible Event Delivery System

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

docker-hs

A Haskell library for the Docker Engine API

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

evil-org-mode

Supplemental evil-mode keybindings to emacs org-mode

Language:Emacs LispStargazers:0Issues:0Issues:0

ftr-site-config

Full-Text RSS site config files - since version 3.2, the update tool can automatically grab the latest set from this repository.

License:NOASSERTIONStargazers:0Issues:0Issues:0

helm-notmuch

Search emails with Notmuch and Helm

Language:Emacs LispStargazers:0Issues:0Issues:0

ide-vscode

VSCode IDE Integration for Dafny

License:MITStargazers:0Issues:0Issues:0

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

intero

Complete interactive development program for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

Language:HaskellStargazers:0Issues:0Issues:0

notmuch-lazysync

Synchronize notmuch tags between machines

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

souffle-lang.github.io

Soufflé

Stargazers:0Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispStargazers:0Issues:0Issues:0

wallabag

wallabag is a self hostable application for saving web pages.

Language:PHPLicense:MITStargazers:0Issues:0Issues:0