-
-
formal-conjectures Public
Forked from google-deepmind/formal-conjectures(Fork) A collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedJan 14, 2026 -
-
summation-check Public
Python desktop app doing QA for Reactome biocurators
Python Creative Commons Zero v1.0 Universal UpdatedJan 10, 2026 -
lerobot Public
Forked from huggingface/lerobot🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
Python Apache License 2.0 UpdatedDec 29, 2025 -
biored-openrouter Public
Evaluation system for biomedical relation extraction using the BioRED dataset schema. The system will send document passages to OpenRouter-hosted LLMs, extract relations, compare results against gr…
Python UpdatedDec 16, 2025 -
reactome-scripts Public
Scripts used in curation work for Reactome
-
LitBall Public
Multiplatform desktop app for systematic literature collection.
-
captrans Public
Python script to capture audio and transcribe+translate speech
Python Creative Commons Zero v1.0 Universal UpdatedSep 12, 2025 -
CoRS Public
Concepts in Robotics Software ontology
Python Creative Commons Zero v1.0 Universal UpdatedFeb 15, 2025 -
lean-code Public
casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects
Lean Creative Commons Zero v1.0 Universal UpdatedAug 21, 2024 -
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedJun 7, 2024 -
formal_book Public
Forked from mo271/FormalBookFormalizing "Proofs from THE BOOK"
Lean Apache License 2.0 UpdatedMay 30, 2024 -
awesome-compose-for-desktop Public
Forked from sebkur/awesome-compose-for-desktopAwesome list about Compose for Desktop
UpdatedOct 25, 2023 -
LitBall-training Public
Tagging and training data and scripts for classifiers potentially used in LitBall app
Jupyter Notebook Creative Commons Zero v1.0 Universal UpdatedAug 2, 2023 -
tensorflow-onnx Public
Forked from onnx/tensorflow-onnxConvert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX
Jupyter Notebook Apache License 2.0 UpdatedJul 29, 2023 -
wikidata-molbio Public
scripts I used for WD import / maintenance
-
C50 Public
fork of C5.0 rel. 2.07 by Rulequest Research Pty Ltd.
C GNU General Public License v3.0 UpdatedNov 6, 2022 -
ReDU-MS2-GNPS Public
Forked from mwang87/ReDU-MS2-GNPSUser interface to reanalyze and explore all public data in Metabolomics Public Data
Python MIT License UpdatedSep 25, 2022 -
ReDU-MS2-Documentation Public
Forked from mwang87/ReDU-MS2-DocumentationReDU Documentation
Python UpdatedSep 25, 2022 -
pyopenms-docs Public
Forked from OpenMS/pyopenms-docspyOpenMS readthedocs documentation, additional utilities, addons, scripts, and examples.
Python Other UpdatedSep 6, 2022 -
OpenMS-docs Public
Forked from OpenMS/OpenMS-docsOpenMS Documentation.
CSS BSD 3-Clause "New" or "Revised" License UpdatedSep 2, 2022 -
Lichess-by-Voice Public archive
Play casual chess on lichess.org via voice commands
-
AppAuth-Android Public
Forked from openid/AppAuth-AndroidAndroid client SDK for communicating with OAuth 2.0 and OpenID Connect providers.
Java Apache License 2.0 UpdatedMar 11, 2022 -
yaccl Public
yet another ChemClassifier (Python based on wikibase-cli and rdkit)
-
oauth2-pkce-proxy Public
Serverless AWS Account Linking proxy providing OAuth2 access to PKCE-only services
Python Creative Commons Zero v1.0 Universal UpdatedJan 29, 2022 -
chesslib Public
Forked from bhlangonijr/chesslibchess library for legal move generation, FEN/PGN parsing and more
Java Apache License 2.0 UpdatedJan 17, 2022 -
berserk Public
Forked from rhgrant10/berserkPython client for the lichess API
-
CuratorTool Public
Forked from reactome/CuratorToolThe Reactome Java API for the relational database and the Curator Tool
Java UpdatedMay 14, 2021
{{ message }}