Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
3,193–3,216 of 5,821 · Most stars
NLog integration for ASP.NET & ASP.NET Core
- nlog
- asp-net
- asp-net-core
- asp-net-core-mvc
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Install Tiledesk on your server using Helm for Kubernetes orchestration and Docker Compose for running multi-container Docker applications. Tiledesk provides an open-source solution comparable to Voiceflow, empowering you to create sophisticated LLM-enabled chatbots that seamlessly transition interactions to human agents when needed.
- kubernetes
- docker
- helm-charts
- installation
NUP is a clean-room container format for unencrypted NX (Nintendo Switch 1/2) game dumps.
Hashcat web interface
- hashcat
- cracking
- analytics
- pentesting
Godot-MCP — Model Context Protocol (MCP) integration for the Godot Engine. AI tools for the Godot Editor in C#, with cloud connection to ai-game.dev. Apache-2.0.
Ergonomic state management for Yew applications
- yew
- wasm
- web
- state
Shortcut races your normal route against faster ones to the game server, sends only the game down the winner, and sends every packet twice so loss never becomes a lag spike. Not a VPN.
- game-routing
- gaming
- multipath
- networking
Official Semantic UI Integration for Ember
An intro to some ES6 features via a set of self-guided workshops.
Integration of the Geocoder library into Symfony.
A database interface (DBI) definition for communication between R and RDBMSs
An unintrusive & light-weight iOS app-theming library with support for animated theme switching.
Web-GUI Embedded Multitool
- 3d-printing
- debug
- embedded
- interface
Common combinators for Elixir
- pointfree
- curried-functions
- elixir
- functional-languages
Clojure(Script) library for styling user interface components.
- clojure
- clojurescript
- reagent
- garden
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Easy to use cross-platform 2D game library for C++
Native macOS multi-profile isolated WebKit browser with sing-box integration and engine-level privacy alignment
Tools to fingerprint WiFi Access Points running the Broadcom SDK and a list of known affected devices.
all of wikipedia on bittorrent
Web / REST interface for downloading youtube videos onto a server.
A collection of research papers for AI-based protein design