Repository Index

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

The repository host gives no description.

A performant, and portable jq wrapper to facilitate the consumption and output of formats other than JSON; using jq filters to transform the data.

• crystal
• json
• xml
• yaml

Accounts and quotas for a shared GPU cluster.

Statistical NLG for spoken dialogue systems

• natural-language-generation
• dialogue
• seq2seq
• python

One page that tells you whether your homelab is fine.

• dashboard
• go
• homelab
• monitoring

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.

• cli
• finance
• idx
• ihsg

Open-source, cross-platform AI quota monitor (Codex, Claude, Cursor and 47 more). Windows, macOS, Linux, Android and iOS. Built with Flutter.

• ai
• claude
• codex
• cursor

Project management and issue tracking system written in PHP.

• php
• project-management
• issue-tracker
• issue-management

Node.js client for the Aerospike database

• aerospike
• nodejs
• nosql
• database-driver

A set of F# Type Providers for statically typed access to MS SQL database

• f-sharp
• typeprovider
• sql
• sqlserver

An in-browser implementation of JanusVR

• janusvr
• virtual
• vive
• metaverse

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

☁ Universal GraphQL HTTP middleware for Deno and Bun

• graphql
• graphql-server
• deno
• graphql-api

High-Performance Headless Node.js ESM E-Commerce Framework

• e-commerce
• graphql
• marketplace
• headless

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

Bot18 is a high-frequency cryptocurrency trading bot developed by Zenbot creator @carlos8f

• bitcoin
• btc
• ltc
• litecoin

A highly optimized double-ended queue

• golang
• array
• double-ended-queue
• list

Fast and simple bulk insert (retain client populated Ids or return db generated Ids), bulk update, bulk delete, bulk merge and bulk match for SQL Server.

• efcore
• netcore
• bulkinsert
• bulkupdate

A reverse proxy server with built-in WebUI, supporting TCP/UDP/HTTP/TLS/WebSocket, written in Rust.

• proxy
• proxy-server
• reverse-proxy
• rust

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)

• compiler
• compiler-backend
• compiler-optimization
• gpu-acceleration

Rewrite require calls in browserify modules.

sqlgen is a reflection-based ORM and SQL query generator for C++-20, similar to Python's SQLAlchemy/SQLModel or Rust's Diesel.