RISC-V Specification in Coq
Repository Index
47,133 repositories indexed
12,577–12,600 of 18,343 · Most stars
Translated2026 Northeastern University T-DT Lab RoboMaster Robotics Competition (RoboMaster University Championship) Sentry Localization Open Source
- lidar-imu-odometry
- livox-mid360
- localization
- relocalization
Alf is an out of this world super fast and configurable framework for zsh; it's modeled after Prezto and Antigen while utilizing Oh My Zsh under the covers; and offers standard defaults, aliases, functions, auto completion, automated updates and installable prompt themes and plugins.
Log newly created WMI consumers and processes to the Windows Application event log
VS Code extension for JavaScript Standard Style (`standard`) with automatic fixing
- vscode-extension
- vscode
- standard
- nodejs
VLC extension to remove videos from the filesystem
- vlc-player
- vlc-extension
- lua
- vlc
Extensions which helps to convert objc-style target/action to swifty closures
A TensorFlow implementation of the Mnemonic Descent Method.
- tensorflow
- menpo
- face
- face-alignment
Simple single-selection or multiple-selection checklist, based on UITableView
- radio-buttons
- checklist
- uitableview
- radiobutton
Universal LLM router for AI coding tools. Works with Claude Code, Cursor, Codex, Gemini CLI, Copilot and more. Free-first fallback chain cuts costs 35-80%.
- ai-routing
- anthropic
- claude
- claude-code
Tools to make Plug, and Phoenix authentication simple and flexible.
Interview Cake Clojure solutions.
- clojure
- interview-cake
- interview-questions
M-Film: film simulation for Canon EOS cameras with Magic Lantern. 72 film stocks (Portra, Velvia, Tri-X, CineStill…), a film-camera interface and an in-camera darkroom that develops your RAWs. 5D Mark III, 6D, 600D, 650D, 700D, EOS M and more.
- analog-photography
- camera-firmware
- canon
- canon-5d-mark-iv
A Macau food recommendation Agent built on Thompson Sampling + StackedPareto weight fusion, with a full evaluation pipeline (5-fold CV, bootstrap CIs, stress tests) on 5,000 simulated users and 100k interactions. Competition entry for the QwenPaw AI Developer Challenge.
Internationalization package for Meteor with React integration.
- i18n
- internationalization
- translation
- hacktoberfest
The repository host gives no description.
A WebSocket Real-Time Communication (RTC) Web API framework
Administration system for Hackathons :chart_with_upwards_trend: !
- hackathon
- admin-dashboard
- administration
- checkin
An ELF / PE binary packer written in pure C, made for fun
- pe-packer
- elf-packer
- encryption-methods
- c
A repo for a Program and Data Representation university-level course
Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.
- rust
- postgresql
- linter
- zero-downtime
Swift Interaction with VIPER Architecture
- viper-template
- swift
- swift-3
- viper
From Idea to Execution - Manage your trading operation across a distributed cluster
- trading
- cryptocurrency
- crypto-trading
- elixir
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power