A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
47,133 repositories indexed
5,689–5,712 of 8,841 · Most stars
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
undollar eats the dollar sign in the command you just pasted into your terminal
- command-line
- convenience
- copy-paste
- shameless
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
Analyze the Indonesian stock market (IDX/IHSG) from web terminal, CLI, or any AI agents via MCP server. IHSG Prices, Fundamentals, and Screening. Free and No API keys required.
7x-10x faster alternative to MemoryCache. A high-performance, lighweight (8KB dll) and thread-safe memory cache for .NET.
- cache
- dotnet
- performance
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
Go implementation of the Rust `dbg` macro
A modern command line job processor, similar with make command
- crystal
- command-line
- command-line-tool
- command-line-app
Streaming-first load balancer for AI inference gateways
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
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
Interactive Common Lisp: an enhanced REPL
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
Drishti
High-Performance Headless Node.js ESM E-Commerce Framework
- e-commerce
- graphql
- marketplace
- headless
A simple, lightweight and powerful field validation library for Android.
- android
- android-library
- annotations
- java
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
🔥 JMock is a high-performance data generation and simulation component library implemented in Java.
- functions
- mock
- testing-tools
- dataset
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
Meta Self-learning for Multi-Source Domain Adaptation： A Benchmark
- text-recognition
- ocr-recognition
- domain-adaptation
- multi-source-domain-adaptation
Bot18 is a high-frequency cryptocurrency trading bot developed by Zenbot creator @carlos8f
- bitcoin
- btc
- ltc
- litecoin
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
A convenience library for generating, comparing and inspecting password hashes using the scrypt KDF in Go 🔑