Skip to content
View mtimbs's full-sized avatar

Block or report mtimbs

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR, enabling neural/symbolic/probabilistic models within a unif…

Rust 17 Updated Dec 16, 2025

The Vesuvius Challenge monorepo

Python 111 44 Updated Dec 23, 2025

🌈 React for interactive command-line apps

TypeScript 33,463 795 Updated Dec 22, 2025

DSPy: The framework for programming—not prompting—language models

Python 31,043 2,501 Updated Dec 23, 2025

Up to 200x Faster Dot Products & Similarity Metrics — for Python, Rust, C, JS, and Swift, supporting f64, f32, f16 real & complex, i8, and bit vectors using SIMD for both AVX2, AVX-512, NEON, SVE, …

C 1,611 98 Updated Dec 24, 2025

BillionMail gives you open-source MailServer, NewsLetter, Email Marketing — fully self-hosted, dev-friendly, and free from monthly fees. Join the discord: https://discord.gg/asfXzBUhZr

Go 12,528 1,210 Updated Dec 11, 2025

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

TypeScript 4,711 201 Updated Dec 23, 2025

Additional exercises and data for EE364a. No solutions; for public consumption.

Julia 823 207 Updated Jun 14, 2025

Using machine learning and AI to make informed bets for financial gain

Jupyter Notebook 1 Updated Aug 12, 2021

A fully functional automated horse racing trading system for betfair in python. Collects data, uses a neural network to analyse the data, makes trading recommendations and places the bets before ra…

CSS 115 31 Updated Dec 10, 2020

Use various machine learning algorithms to predict horse racing results.

Jupyter Notebook 26 12 Updated Jul 6, 2019

Using machine learning models to predict the outcome of a horse race, and run backtesting to see if we can profit from betting

Jupyter Notebook 32 15 Updated Oct 22, 2022

99% of Queries in Zero Milliseconds

TypeScript 2,550 102 Updated Dec 23, 2025

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Rust 24,260 1,297 Updated Dec 25, 2025

FFmpeg Assembly Language Lessons

11,306 363 Updated Nov 7, 2025

Monte Carlo simulation of the NBA season, leveraging dbt, duckdb and evidence.dev

Python 580 78 Updated Dec 22, 2025

μWebSockets for Node.js back-ends 🤘

C++ 8,933 614 Updated Nov 28, 2025

Secure and fast microVMs for serverless computing.

Rust 31,527 2,182 Updated Dec 22, 2025

Intel® Implicit SPMD Program Compiler

C++ 2,811 342 Updated Dec 22, 2025

A Modern C11 compiler (STILL EARLY)

C 1,216 46 Updated Dec 13, 2025

High performance UI layout library in C.

C 16,192 626 Updated Dec 23, 2025

A suite of boosting algorithms for the online learning setting.

Python 66 25 Updated Jul 8, 2017

supporting pytorch FSDP for optimizers

Python 84 4 Updated Dec 8, 2024

JAX - A curated list of resources https://github.com/google/jax

1,994 155 Updated Sep 2, 2025

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Python 34,417 3,320 Updated Dec 25, 2025

BLAS-like Library Instantiation Software Framework

C 2,575 406 Updated Nov 11, 2025

Multi-Threaded FP32 Matrix Multiplication on x86 CPUs

C 370 25 Updated Apr 21, 2025

Analytics Dashboard (Sample Data)

TypeScript 117 18 Updated Nov 23, 2025

📋 NotebookMLX - An Open Source version of NotebookLM (Ported NotebookLlama)

Jupyter Notebook 330 25 Updated Mar 3, 2025

Collection of notebooks about quantitative finance, with interactive python code.

Jupyter Notebook 6,606 1,200 Updated Oct 22, 2024
Next