katef / ivv
C language Independent Verification & Validation
☆13Updated 2 years ago
Alternatives and similar repositories for ivv:
Users that are interested in ivv are comparing it to the libraries listed below
- Library for writing text-based user interfaces☆12Updated 7 years ago
- NetBSD userland tools☆9Updated 4 years ago
- a simple and human readable binary diff format and implementation☆17Updated 11 months ago
- An implementation of the hammer2 filesystem for Plan 9☆18Updated 6 years ago
- 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☆19Updated 6 months ago
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆17Updated 9 years ago
- public-domain base64 implementation☆16Updated 3 years ago
- UNIX pacman game by Dave Nixon, AGS Computers Inc. (1981) with curses support by Mark Horton (1982)☆17Updated 2 years ago
- Easy, flexible C unit testing☆11Updated 8 years ago
- Sparc emulator☆10Updated 6 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
- search for processes and print top(1)-like status☆13Updated 9 months ago
- portable version of OpenBSD's signify(1) signature tool☆13Updated 8 years ago
- random data dumper☆16Updated 4 years ago
- The spell program from the 10th Edition Unix system☆9Updated 4 years ago
- ☆17Updated 9 years ago
- Oberon Microsystems BlackBox Component Builder port for OpenBSD, GNU/Linux and FreeBSD☆27Updated 5 years ago
- simple, portable public domain install script for use in Makefiles☆15Updated 11 months ago
- Options parser for simple or complex command lines. Take a look at the smenu project for an example of use.☆13Updated 2 years ago
- A multi-platform, simple PCM audio server and client.☆30Updated 11 years ago
- FASM examples for Quarterdeck DESQView☆10Updated 10 years ago
- Lua for Plan 9 space☆21Updated 3 months ago
- Context-free grammar parsing library☆11Updated 3 months ago
- linux_logo in 26+ kinds of assembly language☆17Updated last year
- terminal hex editor☆14Updated last month
- Unix V6 with Arpanet support☆14Updated 2 years ago
- Rustic X11 games☆11Updated 3 weeks ago
- ☆24Updated 10 years ago
- DECnet for Linux☆11Updated 6 years ago