katef / ivv
C language Independent Verification & Validation
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ivv
- NetBSD userland tools☆9Updated 4 years ago
- a simple and human readable binary diff format and implementation☆16Updated 9 months ago
- Library for writing text-based user interfaces☆12Updated 6 years ago
- Portable Event Library☆16Updated last month
- Historic Lilith emulator developed in summer 1983 for bootstrapping Modula-2 to another platform☆9Updated 4 years ago
- C string library based on string ends☆18Updated 4 months ago
- Sparc emulator☆10Updated 6 years ago
- Lua for Plan 9 space☆21Updated last month
- change or display the stack size of an ELF binary☆22Updated 5 years ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆28Updated 7 months ago
- The spell program from the 10th Edition Unix system☆9Updated 4 years ago
- Bellcore MGR, from version 0.69☆20Updated last year
- ☆23Updated 10 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆11Updated 2 weeks ago
- Similar to *script* without replay but with a mechanism to inject keytrokes in the slave's keyboard queue☆15Updated 3 years ago
- The smallest emacs-like editor I could find☆21Updated 6 years ago
- Context-free grammar parsing library☆11Updated last month
- linux_logo in 26+ kinds of assembly language☆17Updated last year
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated last year
- Oberon System for DOS/386☆10Updated 11 years ago
- First-generation of HolonForth. - Developing code in browsers inspired by Smalltalk, using book-like structures with Modules, Groups, and…☆13Updated 4 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 7 months ago
- Httpfile is a HTTP server derived from publicfile-0.52☆9Updated last year
- Unix V6 with Arpanet support☆14Updated 2 years ago
- terminal wrapper library for ncurses with smooth 256 color handling, termbox, or a virtual terminal on SDL☆18Updated 2 years ago
- A Level 9 game engine in very little memory☆11Updated 5 years ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆13Updated 9 years ago
- public-domain base64 implementation☆16Updated 3 years ago
- FASM examples for Quarterdeck DESQView☆9Updated 10 years ago
- search for processes and print top(1)-like status☆13Updated 7 months ago