A collection of machine-checkend mathematical proofs
An mpg123 frontend of sorts, put your mp3s on your LAN.
A Python library for solving geometric constraint problems
An open source school platform built by teachers for teachers
Models of COVID-19 outbreak trajectories and hospital demand
phase-field simulation and other examples with Python/FEniCS
Udemy Course Downloader (GUI)
Data science at the command line
ERP Demo application
frases para o aplicativo fortune
Deep Learning (Flower Book) mathematical derivation
The roadmap to becoming a web developer in 2021
illness_index A Computer Program of a Medical Textbook.
Laravel countries and currencies
Reading program for plain text books
This project is for Portable SLiMS.
A simple molecular weight calculator
Quiz is a tiny console/terminal based C program to conduct assessments