VIVO is an extensible semantic web application for research discovery and showcasing scholarly work

Web portal of Quantum Open Source Foundation

Open-source framework for infrastructure defect detection with transfer learning. To cite this Original Software Publication: https://www.sciencedirect.com/science/article/pii/S2352711021001503

Lean 4 programming language and theorem prover

Exploring Conway's Game of Life with variable board sizes, and alternate rules.

Companion Repository for "Bugs in Quantum Computing Platforms: An Empirical Study", OOPSLA 2022

Benchmark instances for job-shop scheduling problem

Google's Operations Research tools:

Official repository for Spyder - The Scientific Python Development Environment

A computer algebra system written in pure Python

🍊 📊 💡 Orange: Interactive data analysis

XSLT/PHP based processor for personal bibliography