katef / ivv
C language Independent Verification & Validation
☆13Updated 3 years ago
Alternatives and similar repositories for ivv
Users that are interested in ivv are comparing it to the libraries listed below
Sorting:
- a simple and human readable binary diff format and implementation☆17Updated last year
- NetBSD userland tools☆9Updated 5 years ago
- Library for writing text-based user interfaces☆12Updated 7 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 6 months ago
- The spell program from the 10th Edition Unix system☆10Updated 4 years ago
- The smallest emacs-like editor I could find☆21Updated 7 years ago
- Smallest usable Editor in less than 800 lines of C☆16Updated 8 years ago
- UNIX pacman game by Dave Nixon, AGS Computers Inc. (1981) with curses support by Mark Horton (1982)☆18Updated 2 years ago
- Lua for Plan 9 space☆21Updated 8 months ago
- Sparc emulator☆10Updated 7 years ago
- Rustic X11 games☆11Updated 5 months ago
- random data dumper☆16Updated 5 years ago
- Context-free grammar parsing library☆10Updated 7 months ago
- Mirror of simple-cc (http://www.simple-cc.org)☆12Updated 7 years ago
- search for processes and print top(1)-like status☆13Updated 3 weeks ago
- Oberon System for DOS/386☆11Updated 12 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Portable Event Library☆17Updated last month
- A Level 9 game engine in very little memory☆11Updated 6 years ago
- A simple syscall tracer☆17Updated 7 months ago
- ☆25Updated 10 years ago
- Simple modal terminal mulitplexer☆9Updated last year
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- Historic Lilith emulator developed in summer 1983 for bootstrapping Modula-2 to another platform☆10Updated 5 years ago
- FASM examples for Quarterdeck DESQView☆10Updated 10 years ago
- A simple, incompatible alternative to pkg-config☆18Updated 7 months ago
- public-domain base64 implementation☆16Updated 3 years ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated last week
- Scripts for installing V8 UNIX from tape☆16Updated 2 years ago