SASM - simple crossplatform IDE for NASM, MASM, GAS and FASM assembly languages
- assembly
- assembler
- assembly-language
- ide
Repository Index
62,771 visible repositories in the index
1–6 of 6 · Most stars
A Chip8 IDE
- chip8
- assembler
- homebrew
- game-development
An open-source IDE for C# and .NET, built with Avalonia, for Windows, macOS and Linux: a Roslyn-powered editor, its own debugger with Hot Reload, a CPU and memory profiler, XAML tooling for Avalonia and WPF, and an MCP server for coding agents.
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada