Lists (1)
Sort Name ascending (A-Z)
Stars
Library for fast text representation and classification.
This repo is the official home of .NET on GitHub. It's a great starting point to find many .NET OSS projects from Microsoft and the community, including many that are part of the .NET Foundation.
Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1
Real-time transcription using faster-whisper
The user home repository for the Mathematics in Lean tutorial.
A flask file server with an elegant frontend for browsing, uploading and streaming files
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant