zeisss/atpportal zeisss/atpportal

  • This repository has been archived on 29/Apr/2022
  • Stars
    star
    3
  • Rank 3,955,905 (Top 79 %)
  • Language
    Java
  • Created almost 15 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zeisss/atpportal
github

zeisss

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A webfrontend to automatic theorem provers like Prover9 or Waldmeister.

More Repositories

1

wobble

Wooble it is! - My Google Wave Clone
JavaScript
13
star
2

erlmmo

A small erlang mmo. Actually not sure where I want to go with it.
JavaScript
11
star
3

sickbridge

Adds your sickbeard backlog to JDownloader by search serienjunkies.org
Python
9
star
4

ewalker

A daemon to create an atom feed, linking your files
Erlang
3
star
5

svnmin

A small simple web interface for administration subversion repositories.
PHP
3
star
6

userd

Microservice to store and authenticate users.
Go
3
star
7

vagrant-lamp-template

A template for a vagrant project with php + mysql
Ruby
2
star
8

godirlist2rss

Puts a list of your files into an rss file
Go
2
star
9

github-deploy-agent

Automating deployments via the github api
Go
2
star
10

mediasyncer

Automatic rebalancing files between peers in a gossip network.
Go
1
star
11

flappybird-clone

Playing around with P5js
JavaScript
1
star
12

conways-game-of-life-c

C
1
star
13

figo-me-prometheus-exporter

Export various things from your bank accounts at figo.me as prometheus metrics
Go
1
star
14

docker-rygel

Dockerfile to build a Rygel DLNA/uPNP server docker image.
Makefile
1
star