katef / ivvLinks
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:
- Library for writing text-based user interfaces☆12Updated 7 years ago
- a simple and human readable binary diff format and implementation☆17Updated last year
- Portable Event Library☆17Updated last month
- linux_logo in 26+ kinds of assembly language☆17Updated last year
- Mirror of simple-cc (http://www.simple-cc.org)☆12Updated 7 years ago
- ☆18Updated 9 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- random data dumper☆16Updated 5 years ago
- Context-free grammar parsing library☆10Updated 8 months ago
- search for processes and print top(1)-like status☆13Updated last month
- A simple syscall tracer☆17Updated 8 months ago
- NetBSD userland tools☆9Updated 5 years ago
- Minimal and fast regular expression library for C.☆18Updated 12 years ago
- UNIX pacman game by Dave Nixon, AGS Computers Inc. (1981) with curses support by Mark Horton (1982)☆18Updated 2 years ago
- The spell program from the 10th Edition Unix system☆10Updated 4 years ago
- Rustic X11 games☆12Updated 5 months ago
- Smallest usable Editor in less than 800 lines of C☆16Updated 8 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- Sparc emulator☆10Updated 7 years ago
- ☆25Updated 11 years ago
- Portable pipestatus for UNIX/POSIX shells☆22Updated 4 years ago
- Unix V6 with Arpanet support☆14Updated 2 years ago
- terminal hex editor☆16Updated 6 months ago
- Homemade UNIX-like operating system☆13Updated last year
- Historic Lilith emulator developed in summer 1983 for bootstrapping Modula-2 to another platform☆10Updated 5 years ago
- DECnet for Linux☆12Updated 7 years ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 7 months ago
- Pretty print markdown to terminal using terminfo database.☆17Updated 11 years ago
- A Level 9 game engine in very little memory☆11Updated 6 years ago