Starred repositories
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A TypeScript-like language for WebAssembly.
Staging repo for development of native port of TypeScript
Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
Public repository for Cantordust Ghidra plugin.
The swiss army chainsaw of terminal emulators
Windows X-server based on the xorg git sources (like xming or cygwin's xwin), but compiled with Visual Studio 2012 Community Edition.
This font provides faster reading through facilitating the reading process by guiding the eyes through text with artificial fixation points.
A command-line tool to download photos from iCloud
Money Manager Ex is an easy to use, money management application built with wxWidgets
KolmogorovArnoldNetworks.jl is a Julia library providing implementations of Kolmogorov-Arnold neural networks
Julia implementation of the Kolmogorov-Arnold network with custom gradients for fast training.
Transformer vs Recurrent Neural Operator (RNO) on 1D unit cell problem with viscoelastic constitutive relation. Benchmarked on XPU.
A passive recording project allows you to have complete control over your data. Automatically take screenshots of all your screens, index them, and save them locally.
A pure go General-purpose Task-parallel Programming Framework with integrated visualizer and profiler
“Zero setup” cross compilation and “cross testing” of Rust crates
An open-source RAG-based tool for chatting with your documents.
Proxy that allows you to use ollama as a copilot like Github copilot
🤖 Assemble, configure, and deploy autonomous AI Agents in your browser.
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
Blocks specific sites from appearing in Google search results
LuLu is the free open-source macOS firewall
Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience