BitEdits / be
InfoSec Binary Hex Editor with Retro Disassemblers
☆18Updated last week
Alternatives and similar repositories for be:
Users that are interested in be are comparing it to the libraries listed below
- 🧊 Типізоване -גчислення☆15Updated 9 months ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- Namdak Tonpa Personal Journal☆5Updated 2 weeks ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated 10 months ago
- 🧊 Модальний гомотопічний верифікатор математики☆20Updated 5 months ago
- Simple hobby POSIX-compatible OS for i8086+☆17Updated 2 years ago
- Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.☆12Updated 2 years ago
- A command-line text editor in OCaml.☆12Updated 5 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 8 months ago
- 🧊 Компілятор ML і віртуальна машина☆9Updated 9 months ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Updated 4 years ago
- A Small Combinator-Reduction System☆14Updated 4 years ago
- Minimal SML-based web server☆14Updated 9 years ago
- Компилятор Рефала-5λ☆82Updated last year
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆12Updated 10 years ago
- GNU SETL☆27Updated 2 months ago
- SAMPLE: Elixir Application☆12Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated last year
- Single-sector (MBR) Boot Manager☆20Updated last year
- αProlog☆17Updated last year
- A64: ARM64 Assembler for Erlang☆11Updated 4 years ago
- Native B compiler for the Ti89☆12Updated 5 years ago
- ☆13Updated 2 years ago
- Simple Dependent Type Checker☆10Updated 5 years ago
- Keyboard handler for gnu-apl on Linux☆10Updated 4 years ago
- Linux kernel library functions formally verified.☆49Updated 3 years ago