To learn
Fast and accurate AI powered file content types detection
Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
llama3 implementation one matrix multiplication at a time
An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
I'm sick of complex blogging solutions, so markdown files in a git repo it is
A nanoGPT pipeline packed in a spreadsheet
Fast and stable sort algorithm that uses O(1) memory. Public domain.
python code for a jigsaw puzzle solving robot
Virtual Machine used to represent, run, and maintain the state of programs for Scratch 3.0
Instant is a modern Firebase. We make you productive by giving your frontend a real-time database.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
🎁 generate beautiful landing pages for your developer tools
Build type-safe finite state machines with higher-order states.
An open-source runtime for composable workflows. Great for AI agents and CI/CD.
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
GenX: a configurable power system capacity expansion model for studying low-carbon energy futures. More details at : https://genx.mit.edu
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Lean 4 programming language and theorem prover
🐬 Feature-rich, stable and customizable Flipper Firmware
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
🪄 Create beautiful presentations with Svelte
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…