Ralf Stephan's repositories
Lichess-by-Voice
Play casual chess on lichess.org via voice commands
wikidata-molbio
scripts I used for WD import / maintenance
adhs-wde
Fork of nareike/adhs adapted to serve queries on Wikidata EntitySchemas.
AppAuth-Android
Android client SDK for communicating with OAuth 2.0 and OpenID Connect providers.
awesome-compose-for-desktop
Awesome list about Compose for Desktop
CuratorTool
The Reactome Java API for the relational database and the Curator Tool
formal_book
Formalizing "Proofs from THE BOOK"
go-ec-synonyms
synonyms of Gene Ontology entries, originally copied from the EC database, edited over years, now the scope in GO set uniformly to RELATED
go-ontology
Source ontology files for the Gene Ontology
grammar-python-antlr
Python Antlr ShExC parser
lean-code
casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
LitBall-training
Tagging and training data and scripts for classifiers potentially used in LitBall app
oauth2-pkce-proxy
Serverless AWS Account Linking proxy providing OAuth2 access to PKCE-only services
OpenMS-docs
OpenMS Documentation.
pyopenms-docs
pyOpenMS readthedocs documentation, additional utilities, addons, scripts, and examples.
reactome-scripts
Scripts used in curation work for Reactome
ReDU-MS2-Documentation
ReDU Documentation
ReDU-MS2-GNPS
User interface to reanalyze and explore all public data in Metabolomics Public Data
sympy
A computer algebra system written in pure Python
tensorflow-onnx
Convert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX
wikibase-cli
read and edit a Wikibase instance from the command line
wikidata-slice
tools to work with Wikidata dumps and slices