GStreamer ValidateTest grammar for tree-sitter
expressbridge is a event-driven microservice framework for Node.js
Honeywell Captuvo Cordova plugin, modified for IDS, visit GitHub to see source repo
A transpiler for converting a **tiny** subset of JavaScript expressions to smt2
Immediately invoked function expressions (IIFE) syntax sugar.
Simple framework for connect.js & express.js apps
基于element-ui table组件二次封装的树表格组件，主要解决element-ui中数表格中checkbox无法进行父子组件联动的问题，其中还包含了element-ui中的分页组件，needReverse参数用于配置是否需要在分页过程中保持每一页的选中状态和expand状态
A simple solver for the New York Times Spelling Bee puzzle
🧊 Z3 SMT solver integration for @typesugar/contracts — compile-time proof verification
A Javascript implementation of the classic minesweeper game with a helper to guide a player on how the game is played and show the patterns that can be used to solve the game.
Inductive programming for JavaScript
Algorithms for visualizing structured text
query processor as a wrapper on top of mysql
## Kinematics Engine for HOOPS Communicator The purpose of this set of classes is to make it easy to add kinematics-based animations to CAD Models, in particular in the context of Digital Twin workflows. In a typical CAD model the product structure is oft
query processor as a wrapper on top of mysql
100% free and local reCaptcha v2 resolver library written in Typescript.
dark magic that allows libraries to process caller ASTs
Zero-dependent network management solution.
Native MetricsQL and PromQL parser binding
SDK for MomentPay integration in React projects
Lint rules for ucode, the OpenWrt scripting language
Integration helpers for Ophis (a CoW Protocol fork): correct orderbook hosts, the CIP-75 partner-fee appData fragment, the per-chain EIP-712 signing domain, and order receiver-safety guards.
Neurosymbolic code formalization — lift any codebase into logical facts and verify properties with Prolog/Datalog. Standalone, language-agnostic, points at any project.
A dynamic template engine for Node.js using <?jhs ?> delimiters — PHP-like syntax with JavaScript and XSS protection.