A Verified Compiler for Gallina, Written in Gallina
Repository Index
47,133 repositories indexed
505–528 of 765 · Most stars
Unofficial native PC ports of God of War: Chains of Olympus and Ghost of Sparta (PSP) by static recompilation. Bring your own disc.
- god-of-war
- pc-port
- psp
- recompiler
🤠🧨 The mighty 400-byte schema validator for TS / JS
- javascript
- runtime-validation
- schema
- typescript
Desktop-first, open-source (MIT) application for running parallel agents, and multi-step custom workflows triggered by schedules, webhooks or events from tools like Linear and Sentry, across your already-used providers.
Make AI output sound human. Strips AI-isms (sycophancy, stock vocab, hedging stacks, em-dash pileups), preserves code/URLs/headings. Plugin for Claude Code, Cursor, Windsurf, Codex, Cline, Copilot, Gemini.
- ai-detection
- ai-plugin
- anti-slop
- claude-code
Compilation of games made with flutter and flutter flame
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Fuzzy search Go packages/symbols and view docs from within Neovim
- go
- golang
- neovim
- neovim-plugin
A Grunt interface into the Amazon Node.JS SDK
Camera API for micropython as user module, with precompiled FW, starting with the esp32 port.
- camera
- espcam
- micropython
- esp32-cam
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
A fast regular expression compiler in Common Lisp
Simple and beautiful stacked UIView to use as a replacement for an UITableView, UIImageView or as a menu
- collectionview
- uitableview
- uicollectionview
- uiimageview
Static recompilation of Midnight Club: Los Angeles (Xbox 360) for PC and PS5. No game data included.
The repository host gives no description.
- webcompiler
- dotnet
- cross-platform
- scss
Native port of Skies of Arcadia Legends (GameCube) via static recompilation. Bring your own disc.
TranslatedDesktop automation for DeepSeek Harness: giving an entire Windows machine eyes and hands. It can do anything a person can do, including but not limited to CAD, WPS, browser operations, and sending WeChat messages. Safe, fast, reliable, smart, and user-friendly.
- ai-agent
- computer-use
- deepseek-harness
- desktop-automation
A "proof-of-concept" remake of the famous XPilot game, this time in a web browser near you
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift
A realtime visual programming language for interactive media.
Visual Studio and GCC precompiled header macro for CMake
Configurable recompiling and rerunning go apps when source changes
Unofficial native PC port of God of War (2005, PS2) for Windows, with experimental Linux support. Statically recompiled to C++, not an emulator. OpenGL renderer, launcher, cheat menu, widescreen, 60 FPS. Bring your own game dump: no game files included.