Skip to content
View proger's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@hackndev @cloudozer @kyivlambda

Block or report proger

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Neural codec for speech over HF radio channels

Python 79 17 Updated Jul 24, 2026

Method for Long Context RLMs using verifiable Lambda Calculus

Python 304 17 Updated Apr 24, 2026
Python 15 7 Updated Feb 5, 2026

Various ML tidbits in Python/PyTorch and C++

Python 87 7 Updated Jun 8, 2026

A repo of useful MLX skills.

Python 87 7 Updated Jan 25, 2026
Python 197 7 Updated Jan 26, 2026

Perturbed Saddle-escape Descent (PSD): a first-order optimizer that escapes strict saddle points in nonconvex problems.

Python 3 1 Updated Aug 25, 2025

Nano vLLM

Python 14,636 2,354 Updated Apr 26, 2026

Low Level Emulation of classic VA synths & effects of the late 90s/2000s by emulating the used ICs

C++ 1,223 105 Updated May 26, 2026

Real-time terminal monitor for InfiniBand networks - htop for high-speed interconnects

Rust 141 9 Updated Dec 30, 2025

Async web scraping framework on top of Rust. Works with Free-threaded Python (`PYTHON_GIL=0`).

Python 73 4 Updated Jul 23, 2026

Repository for macos accessibility parser

Python 62 4 Updated May 25, 2026

Code for the "Can LLMs Reason Over Non-Text Modalities in a Training-Free Manner? A Case Study with In-Context Representation Learning" paper

Python 10 1 Updated Sep 29, 2025
Python 8 Updated Feb 3, 2025

Superposition Yields Robust Neural Scaling

Jupyter Notebook 71 11 Updated May 31, 2026

Scripts for recreating the Replication Dataset for Fundamental Frequency Estimation. Part of the dissertation "Pitch of Voiced Speech in the Short-Time Fourier Transform". © 2020, Bastian Bechtold.…

Python 13 2 Updated Mar 29, 2021

🏆 OpenAI Open Model Hackathon Winner - Wildcard category. bota is an autonomous Dota 2 agent powered by GPT-OSS-20B and vLLM, created for OpenAI Open Model Hackathon.

Python 21 1 Updated Sep 8, 2025

An extension of the PyMARL codebase that includes additional algorithms and environment support

Python 730 191 Updated Sep 24, 2024

egraphs + datalog!

Rust 792 106 Updated Jul 24, 2026

Efficient optimizers

Python 335 29 Updated Jul 25, 2026

An Ollama-compatible CLI for Apple's Foundation Models

Swift 184 1 Updated Sep 26, 2025

Kyutai's Speech-To-Text and Text-To-Speech models based on the Delayed Streams Modeling framework.

Python 2,984 309 Updated Jan 26, 2026

Official repository of DailyTalk: Spoken Dialogue Dataset for Conversational Text-to-Speech, ICASSP 2023

Python 260 14 Updated Jun 5, 2025

Mirage Persistent Kernel: Compiling LLMs into a MegaKernel

Cuda 2,390 233 Updated Jul 20, 2026

Companion code to the 2020 AISTATS paper: ''Beyond exploding and vanishing gradients: analysing RNN training using attractors and smoothness"

Python 5 Updated Jun 17, 2020

A collection of formalized statements of conjectures in Lean.

Lean 1,142 385 Updated Jul 25, 2026

Official chibi-scheme repository

Scheme 1,381 157 Updated Jul 24, 2026

A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

Emacs Lisp 1,213 105 Updated Jul 25, 2026
Next