usagitoneko97
Python static analysis, AST, SMT. Working on Klara - python test case generator.
@AMDSingapore
usagitoneko97's Stars
openai/whisper
Robust Speech Recognition via Large-Scale Weak Supervision
microsoft/ML-For-Beginners
12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
tqdm/tqdm
:zap: A Fast, Extensible Progress Bar for Python and CLI
infiniflow/ragflow
RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.
Textualize/textual
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
norvig/pytudes
Python programs, usually short, of considerable difficulty, to perfect particular skills.
cookiecutter/cookiecutter
A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.
reflex-dev/reflex
🕸️ Web apps in pure Python 🐍
Delgan/loguru
Python logging made (stupidly) simple
jart/cosmopolitan
build-once run-anywhere c library
spotify/luigi
Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.
exaloop/codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
Kanaries/pygwalker
PyGWalker: Turn your pandas dataframe into an interactive UI for visual analysis
benfred/py-spy
Sampling profiler for Python programs
caronc/apprise
Apprise - Push Notifications that work with just about every platform!
marimo-team/marimo
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
Xfennec/progress
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)
01-ai/Yi
A series of large language models trained from scratch by developers @01-ai
pditommaso/awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
hatchet-dev/hatchet
A distributed, fault-tolerant task queue
SudhanPlayz/Discord-MusicBot
An advanced discord music bot, supports Spotify, Soundcloud, YouTube with Shuffling, Volume Control and Web Dashboard with Slash Commands support!
chrieke/prettymapp
🖼️ Create beautiful maps from OpenStreetMap data in a streamlit webapp
pedrozath/coltrane
🎹🎸A music theory library with a command-line interface
Music-and-Culture-Technology-Lab/omnizart
Omniscient Mozart, being able to transcribe everything in the music, including vocal, drum, chord, beat, instruments, and more.
joehillen/sysz
An fzf terminal UI for systemctl
bramses/bramses-highly-opinionated-vault-2023
A highly opinionated, fully featured Obsidian vault that can get you from Zero to Zettelkasten lickety split!
innovatorved/whisper.api
This project provides an API with user level access support to transcribe speech to text using a finetuned and processed Whisper ASR model.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
usagitoneko97/klara
Automatic test case generation for python and static analysis library
stephen37/ollama_local_rag