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

Method for Long Context RLMs using verifiable Lambda Calculus

Python 283 15 Updated Apr 24, 2026
Python 11 7 Updated Feb 5, 2026

Various ML tidbits in Python/PyTorch and C++

Python 88 7 Updated Mar 8, 2026

A repo of useful MLX skills.

Python 84 6 Updated Jan 25, 2026
Python 186 6 Updated Jan 26, 2026

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

Python 2 1 Updated Aug 25, 2025

Nano vLLM

Python 13,323 2,057 Updated Apr 26, 2026

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

C++ 1,156 95 Updated Apr 11, 2026

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

Rust 139 8 Updated Dec 30, 2025

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

Python 60 2 Updated May 4, 2026

Repository for macos accessibility parser

Python 53 4 Updated Jan 27, 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 65 9 Updated Feb 12, 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 11 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 716 190 Updated Sep 24, 2024

egraphs + datalog!

Rust 752 92 Updated May 8, 2026

Efficient optimizers

Python 324 27 Updated May 8, 2026

An Ollama-compatible CLI for Apple's Foundation Models

Swift 177 1 Updated Sep 26, 2025

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

Python 2,919 303 Updated Jan 26, 2026

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

Python 252 14 Updated Jun 5, 2025

Mirage Persistent Kernel: Compiling LLMs into a MegaKernel

Cuda 2,244 207 Updated May 9, 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 954 275 Updated May 9, 2026

Official chibi-scheme repository

Scheme 1,357 155 Updated Apr 15, 2026

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

Emacs Lisp 1,207 106 Updated Feb 21, 2026
Jupyter Notebook 1 Updated Apr 27, 2025
Next