Andreas Florath's repositories
miniF2F-Coq
Formal to Formal Mathematics Benchmark
Pillow
Python Imaging Library (Fork)
numpy
The fundamental package for scientific computing with Python.
xzceb-flask_eng_fr
flask_enf_fr
wvv-covid19-datapool
Datapool of COVID-19 data from different sources, refurbished, simple data structure, single interface
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
rqmgtool
[WIP] Open Source Requirements Management Tool
sonic-buildimage-ag9032v1
Scripts which perform an installable binary image build for SONiC - re-enabling Delta AG9032v1
redfish_exporter
exporter to get metrics from redfish based hardware such as lenovo/dell/superc servers
htpdate
The (new) home of HTTP Time Protocol (HTP)
gr-lte
GNU Radio LTE receiver
covering-codes
A machine readable collection of known Covering Codes
ar-wordpress-wp-cli
Ansible Role installing Wordpress using wp-cli
ar-wordpress-the-debian-way
Ansible Role installing Wordpress using the Debian way of doing things
ar-wordpress
Ansible Role to install wordpress
ar-debian-selinux-gcloud
Ansible Role for enabling SELinux on Debian especially for Google Cloud
wodiyc
WOoden DIY CNC
heketi
RESTful based volume management framework for GlusterFS
pi-rc522
Raspberry Pi Python library for SPI RFID RC522 module
blendercam
Automatically exported from code.google.com/p/blendercam
supreme
SUper REsolution MEthods
DQN-tensorflow
Tensorflow implementation of Human-Level Control through Deep Reinforcement Learning
deep-rl-tensorflow
TensorFlow implementation of Deep Reinforcement Learning papers