scc416 / Visual2
ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
☆28Updated 2 years ago
Alternatives and similar repositories for Visual2:
Users that are interested in Visual2 are comparing it to the libraries listed below
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆56Updated 9 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆27Updated 2 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Unlambda interpreter☆11Updated 6 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- A heavily optimizing Brain**** interpreter written in Bash!☆30Updated 5 years ago
- ☆17Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 7 months ago
- An interpreter of lambda calculus.☆27Updated 3 weeks ago
- A notional machine for the SMoL languages☆21Updated last year
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- Cell language C++ runtime☆17Updated 4 years ago
- An menu/quick reference for Programming Language concepts☆20Updated 9 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last month
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- GUI for gdb, rr, perf, and more☆26Updated 4 months ago
- Jonesforth RISC-V port.☆59Updated 4 years ago
- This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz☆22Updated 8 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- racket llvm C-API bindings☆17Updated last month
- Personal collection of useful bookmarklets☆12Updated 4 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆19Updated last year
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago