A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
72,362 visible repositories in the index
9,241–9,264 of 15,024 · Most stars
Meteor.publishComposite provides a flexible way to publish a set of related documents from various collections using a reactive join
- hacktoberfest
- meteor
- mongodb
Simple Visualizer from mic input for Android.
Customisable user onboarding for your iOS app
- onboarding
- swift
- ios
- viewcontroller
Olivine Labs Lua Style Guide
Database driven resource localization for .NET applications
- localization
- dotnet-core
- dotnet
- database-provider
Golang SQLite without cgo
- golang
- sqlite
MVVM(Model View ViewModel) sample in Kotlin using the components ViewModel, LiveData and Retrofit library
Emoji Keyboard for iOS
- emoji
- emoji-keyboard
- swift
High-level API for working with binary data.
Agent tooling for generative LEGO models building, built with Astra and Opus 5.5, powered by Jev
A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.
- optimization
- optimization-algorithms
- optimization-methods
- optimization-problem
The open-source policy-as-code software that provides analysis for Multi-Cloud and SaaS environments, you can get insight with natural language (powered by OpenAI).
TranslatedAn editing workbench for adding a motion graphics layer to talking-head videos: AI reads your subtitle script and arranges everything automatically, you can edit every element it makes yourself, and you export a transparent motion graphics layer straight into 剪映 (Jianying, CapCut's Chinese edition)—not a single frame of the original footage is recompressed.
TranslatedMG animation video skill, Douyin viral Vibe knowledge showcase short films, with automatic sound effects and one-click video output. Illustrated explainer video skill — turns an explanation script into an explainer video with "hand-drawn, moving visuals". Graphics are drawn stroke by stroke by code, text is written character by character, and the drawing follows what is being said. Five styles to choose from, rendered in local Chrome, zero image-generation API cost, and any change re-renders within seconds.
TranslatedA macOS manager for Codex, Claude Code CLI and Claude Desktop instances, accounts, provider keys, isolated configs, sessions and proxies.
- agent-manager
- claude-code
- claude-desktop
- codex
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
Scala library providing "source" metadata to your program, similar to Python's __name__, C++'s __LINE__ or Ruby's __FILE__.
Use Nix flakes without any fluff.
TranslatedSource code of the Richman 4 (大富翁4, "Rich Man 4") remastered app (Vite + TypeScript + Capacitor iOS)
Mouse gesture plugin for neovim
- neovim
- mouse-gestures
- neovim-plugin
💾 Simple session management for Neovim with git branching, autoloading and Telescope support
- neovim
- session
- neovim-plugin
- neovim-session
Base environment for Red Eclipse and associated source files.
- game
- game-engine
- main-project
- source-code
Keep Whale-chan consistently vivid in every generation: High-consistency character design specification, visual asset library, and agent creation suite.
- claude-code
- codex
- comics
- gemini