A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
47,133 repositories indexed
4,081–4,104 of 6,929 · Most stars
:zap: Render HTML5 as VDOM, with Components as Custom Elements!
A rich text editor (WYSIWYG) with JSON output that allows the integration of M2A relations to make it extremely flexible. A truly rich editor for Directus.
- block-editor
- directus
- directus-custom-display
- directus-custom-interface
Streamline Your Node.js Debugging Workflow with Chromium (Chrome, Edge, More) DevTools.
Open-source, cross-platform AI quota monitor (Codex, Claude, Cursor and 47 more). Windows, macOS, Linux, Android and iOS. Built with Flutter.
Algeria's 69 wilayas, 538 dairas and 1,541 communes with Arabic/French search and historical administrative boundaries. Python and TypeScript libraries.
- administrative-divisions
- algeria
- arabic
- commune
A lightweight, efficient Ruby gem for interacting with Whatsapp Cloud API.
- ruby
- ruby-gem
- whatsapp-api
:dash: Simple yet powerful file-based mock server with recording abilities
A modern command line job processor, similar with make command
- crystal
- command-line
- command-line-tool
- command-line-app
Philips Hue nodes for Node-RED to control bridges, lights, groups, scenes, rules, automations, switches, dials, buttons, doorbells, speakers, motion & contact sensors, cameras, temperature & light level sensors and the Hue Play HDMI Sync Box — CLIP/v2 API, Hue Bridge Pro & MotionAware support.
- home-automation
- philips-hue
- node-red
Babylon.js basic scene with typescript, webpack, es6 modules, editorconfig, eslint, hot loading and more. Will even make coffee if you ask nicely.
BatchFlow helps you conveniently work with random or sequential batches of your data and define data processing and machine learning workflows even for datasets that do not fit into memory.
- python3
- data-science
- machine-learning
- python
Bouncy Hsm is a software simulator of HSM and smartcard simulator with HTML UI, REST API and PKCS#11 interface.
- blazor
- blazor-webassembly
- bouncycastle
- cryptography
Translated研迹 Trail (Yanji, "research trail"): a local-first AI investment research workbench. Connects market quotes, candlestick charts, and deep research, so that judgments are traceable and risks can be reviewed. Local-first AI investment research desktop with an evidence-grounded copilot.
- ai-agent
- electron
- financial-analysis
- local-first
DDD+CQRS+Event-sourcing examples using EventFlow following CQRS-ES architecture. It is configured with RabbitMQ, MongoDB(Snapshot store), PostgreSQL(Read store), EventStore(GES). It's targeted to .Net Core 2.2 and include docker compose file.
- eventflow
- cqrs
- cqrs-es-architecture
- ges
A complete plugin for moving and duplicating blocks and lines, with complete fold handling, reindenting, and undoing in one go.
Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.
🐍 A casual game with a soothing Catppuccin color palette
invert text in vim, purely with lua.
A reverse proxy server with built-in WebUI, supporting TCP/UDP/HTTP/TLS/WebSocket, written in Rust.
- proxy
- proxy-server
- reverse-proxy
- rust
Run Electron without all the junk terminal output
:ghost: GhostText plugin for Neovim with zero dependencies :tada: Supports neovim running inside WSL too! :partying_face: Windows/Linux/macOS supported out-of-the-box! :smile: (Other OSes need python3.6+ installed)
- neovim
- neovim-plugin
- ghosttext
- nvim
A D3 service for use with Angular.
Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant