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

An agentic operating system where the kernel is controlled directly by Claude

C 291 65 Updated Jul 30, 2026

Neural codec for speech over HF radio channels

Python 79 18 Updated Aug 8, 2026

Method for Long Context RLMs using verifiable Lambda Calculus

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

Various ML tidbits in Python/PyTorch and C++

Python 88 7 Updated Jun 8, 2026

A repo of useful MLX skills.

Python 87 7 Updated Jan 25, 2026
Python 201 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,937 2,442 Updated Apr 26, 2026

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

C++ 1,240 108 Updated Jul 29, 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 72 4 Updated Jul 27, 2026

Repository for macos accessibility parser

Python 65 5 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 192 Updated Sep 24, 2024

egraphs + datalog!

Rust 810 112 Updated Aug 10, 2026

Efficient optimizers

Python 338 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 3,006 313 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,417 239 Updated Aug 4, 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,167 406 Updated Aug 10, 2026

Official chibi-scheme repository

Scheme 1,386 157 Updated Aug 10, 2026
Next