Starred repositories
This exercise will help you gather metrics to analyze a handful of quality metrics in several different Python repositories.
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Community maintained client for the online game Astonia 3.
A simple C library containing small utility functions (string, math, file helpers). Students will add new functions, fix bugs, improve documentation, and follow real contribution rules.
A really bad GTFS generator that runs on prayers, bad decisions and tears.
Your AI trading terminal assistant for US stocks, commodities, forex, and crypto.