Code Monkey home page Code Monkey logo

Daniel Schoepe's Projects

bibfetch icon bibfetch

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

dafny icon dafny

Dafny is a verification-aware programming language

deeds icon deeds

Deeds is an Extensible Event Delivery System

dmix icon dmix

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

docker-hs icon docker-hs

A Haskell library for the Docker Engine API

fmis-agda icon fmis-agda

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

ftr-site-config icon 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.

infer icon infer

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

intero icon intero

Complete interactive development program for Haskell

lambdabot icon lambdabot

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

newsbeuter icon newsbeuter

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

pdfpres icon pdfpres

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

qubes-xmonad icon qubes-xmonad

Fork of xmonad to provide better integration with QubesOS

rmv-query icon rmv-query

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

spacemacs icon spacemacs

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

tud-mensa icon tud-mensa

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

vt icon vt

Command-line västtrafik client

wallabag icon wallabag

wallabag is a self hostable application for saving web pages.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.