The repository host gives no description.
Repository Index
47,133 repositories indexed
1–24 of 25 · Most stars
The Goose Programming Language
Rust port of the TypeScript 7 type checker
Turn your regular JavaScript code into a neural net.
🛡️ 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
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
An experimental Rust port of the TypeScript 7 compiler (tsc)
- compiler
- rust
- tsc
- typescript
Run ARM64 Linux userspace and desktop applications on iPhone and iPad.
- arm64
- debian
- interpreter
- ios
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation
The repository host gives no description.
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
TypeScript written in TypeScript
ARM64 Recompiler
- arm64
- hle
- recompiler
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
The repository host gives no description.
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
a rust compiler daemon for up to 25x faster cargo builds
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
An esoteric programming language built to break LLMs and coding agents.
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
TranslatedMealScript turns "what to eat" into a language, then compiles it into a plan backed by official price evidence
A Lean formalization of the Classification of Finite Simple Groups
The repository host gives no description.