47,133 repositories indexed
169–192 of 1,041 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
Socket.IO integration for Flask applications.
Algorithms & Data structures in C++.
Ruby implementation of GraphQL
A library for visualization and creative-coding
A feature complete and high performance multi-group Raft library in Go.
NVIDIA cuML: GPU-Accelerated Machine Learning
TranslatedBrings the local Wallpaper Engine wallpapers into the DSH web interface: scene wallpapers are rendered in real time with WebGL by the built-in MIT open-source engine WebWallGL (particles / puppet skeletons / SceneScript / audio reactivity / mouse interaction), and if that fails it automatically falls back to an embedded MP4 and the scene's static frame; web wallpapers run in a strict sandbox + the WE API; iOS-style liquid glass UI that is highly customizable, pause when occluded to save power, ffmpeg transcoding with a frame rate cap, system audio spectrum and Now Playing, custom upload and automatic rotation; settings are stored on the host side, with zero token overhead for the agent. Native on all three platforms: Windows / macOS / Linux (the same package, the same command).
Simple and Distributed Machine Learning Python Library porting ML algorithms for Spark
InheritedWidgets, but simple
Dark Web OSINT Tool
🎁 A glib-like multi-platform c library
A Python implementation of LightFM, a hybrid recommendation algorithm.
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
Solutions to LeetCode by Swift
A collection of important graph embedding, classification and representation learning papers with implementations.
A standalone and lightweight C library
Samples for ML.NET, an open source and cross-platform machine learning framework for .NET.
SenseTime Research platform for single object tracking, implementing algorithms like SiamRPN and SiamMask.
Stellar.js - Parallax scrolling made easy
Redis re-implemented with SQL
Huma REST/HTTP API Framework for Golang with OpenAPI 3.1
Performance analysis of predictive (alpha) stock factors