TLC is an explicit state model checker for specifications in TLA+
React patterns, techniques, tips and tricks
Playground and cheatsheet for learning Python
GitHub Actions runner images
A JavaScript codemod toolkit
wwwBASIC is an implementation of BASIC that runs on Node.js & the Web
Core database component for the Realm Mobile Database SDKs
Client library for using AWS IoT Jobs service on embedded devices
Vue 3 UI library, highly customizability, full TypeScript, performance
Set of numeric libraries for the Go programming language
The public gallery of animated pet for Codex, Claude Code, OpenCode
Pannellum is a lightweight, free, and open source panorama viewer
Quickstart configs for Nvim LSP
Improved Quake III Arena engine
Pre-trained Neural Network models in Axon
Sample apps and code written for Google Cloud
Collection of reusable tested Java 21 compatible code snippets
A generic, simple and fast implementation of Deepmind's AlphaZero
Various packages and tools that support the Go programming language
Lightweight, robust, elegant syntax highlighting
A general-purpose probabilistic programming system
Open source repository of plugins intended for knowledge workers
Transpiler of Python to many other languages
Library to stream in rtmp and rtsp for Android. All code in Java
Infrared remote library for Arduino, send and receive infrared signals