dschoepe

dschoepe's Stars

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust20.1k543

• kahole/edamagit

  Magit for VSCode

  Language:TypeScript1.1k65

• scalameta/metals-feature-requests

  Issue tracker for Metals feature requests

  374

• toltec-dev/toltec

  Community-maintained repository of free software for the reMarkable tablet.

  Language:Shell72260

• GillianPlatform/Gillian

  The Gillian Platform main repository

  Language:OCaml7411

• CoinFormalizer/tezoscoq

  working with coq and tezos

  Language:Coq1

• haiwen/seafile

  High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features.

  Language:C12.2k1.5k

• dschoepe/fmis-agda

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

  1

• dschoepe/bibfetch

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

  Language:Perl7

• dschoepe/pdfPres

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

  Language:C1

• dschoepe/newsbeuter

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

  Language:C++1

• dschoepe/dmix

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

  Language:Java1

• copumpkin/categories

  Categories parametrized by morphism equality, in Agda

  Language:Agda14726

• dschoepe/ghc-mod

  Happy Haskell programming on Emacs

  Language:Emacs Lisp1

• dschoepe/tud-mensa

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

  Language:Haskell51

• abarisain/dmix

  A modern MPD Client for Android.

  Language:Java587205

• dschoepe/HsPurple

  libpurple bindings for Haskell

  Language:Haskell11

• DanielG/ghc-mod

  Happy Haskell Hacking for editors. DEPRECATED

  Language:Haskell677175

• nilscc/HsPurple

  libpurple bindings for Haskell

  Language:Haskell31

• dschoepe/rmv-query

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

  Language:Haskell2

• pSub/configs

  My configuration files

  Language:Nix326

• vain/pdfPres

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

  Language:C1710

• akrennmair/newsbeuter

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

  Language:C++781100