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
Models of COVID-19 outbreak trajectories and hospital demand
An open source school platform built by teachers for teachers
phase-field simulation and other examples with Python/FEniCS
Data science at the command line
ERP Demo application
Udemy Course Downloader (GUI)
frases para o aplicativo fortune
Deep Learning (Flower Book) mathematical derivation
This project is for Portable SLiMS.
Reading program for plain text books
The roadmap to becoming a web developer in 2021
illness_index A Computer Program of a Medical Textbook.
Laravel countries and currencies
A simple molecular weight calculator
Quiz is a tiny console/terminal based C program to conduct assessments