A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Repository Index
71,372 visible repositories in the index
505–528 of 686 · Most stars
collection of C/C++ programs that try to get compilers to exploit undefined behavior
🤠🧨 The mighty 400-byte schema validator for TS / JS
- javascript
- runtime-validation
- schema
- typescript
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
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
A fast regular expression compiler in Common Lisp
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Simple and beautiful stacked UIView to use as a replacement for an UITableView, UIImageView or as a menu
- collectionview
- uitableview
- uicollectionview
- uiimageview
The repository host gives no description.
- webcompiler
- dotnet
- cross-platform
- scss
TabStationToo - PS2 emulation in the browser: PCSX2 compiled to WebAssembly.
- browser
- emscripten
- emulator
- pcsx2
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
JSON Schema Compiled checK
Crash of the Titans (Xbox 360) statically recompiled for Windows: DLSS/FSR, PC controls, PT-BR, subtitles, mods. Bring your own copy of the game.
🧪 Lightweight health check utilities for Docker containers
- checkhttp
- checkport
- docker
- docker-image
Post-build IL optimizer and intermediate representation for .NET programs
- compiler
- csharp
- dotnet
- hecktoberfest
A shading language that can be compiled into GLSL ES 3.0
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Compile WebAssembly to native MicroPython modules
- armv7
- esp32
- micropython
- raspberry-pi
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Precompile Nunjucks templates
- javascript
- nunjucks
- precompile
- gulp-plugin
2048 game implemented with Rust and Yew and compiled to WASM