Repository Index

TypeScript execution and REPL for node.js

• typescript
• repl
• nodejs
• runtime

A strongly-typed language that compiles to JavaScript

• haskell
• purescript
• javascript
• typed-language

:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).

• electron
• dotnet
• dotnet-core
• dotnet-standard

Native Node bindings to Git.

• libgit2
• javascript
• nodegit
• git

🛡️ BLA (Blind LLM Agents) — Adversarial defense shield that protects binaries, Electron apps, JS bundles, Python, and WebAssembly against AI reverse-engineering agents like REA. Poison -> Exhaust -> Hallucinate.

• adversarial-ai
• claude-code
• cursor
• electron-security

a node.js plugin to integrate nw.js/electron games with steamworks

• steamworks
• steam
• steam-games
• electron

ChucK Music Programming Language

• chuck
• audio
• language
• music

Vulkan binding generator for Zig

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

• ada
• ada-language
• compiler
• virtual-machine

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

Java wrapper for SDL and LibGDX controller API

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

Generates Blazor -> Javascript strongly typed interop methods.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm