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
- random data dumper☆16Updated 4 years ago
- The spell program from the 10th Edition Unix system☆10Updated 4 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 11 months ago
- search for processes and print top(1)-like status☆13Updated 11 months ago
- a simple and human readable binary diff format and implementation☆17Updated last year
- Sparc emulator☆10Updated 6 years ago
- NetBSD userland tools☆9Updated 4 years ago
- The well-known pager, with performance improvements for huge files☆13Updated 10 years ago
- a Plan 9-like system based using tamago☆17Updated last year
- Library for writing text-based user interfaces☆12Updated 7 years ago
- A small SSH askpass GUI using GTK+2☆13Updated 2 years ago
- Smallest usable Editor in less than 800 lines of C☆15Updated 7 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 4 months ago
- Context-free grammar parsing library☆10Updated 5 months ago
- A simple syscall tracer☆17Updated 5 months ago
- Lua for Plan 9 space☆21Updated 6 months ago
- Portable Event Library☆17Updated 5 months ago
- "console" / kmscon - like window manager☆18Updated 4 years ago
- A Level 9 game engine in very little memory☆11Updated 6 years ago
- First-generation of HolonForth. - Developing code in browsers inspired by Smalltalk, using book-like structures with Modules, Groups, and…☆14Updated 4 years ago
- Bellcore MGR, from version 0.69☆20Updated 2 years ago
- change or display the stack size of an ELF binary☆22Updated 5 years ago
- minimal, sensible alternatives to echo(1)☆16Updated 7 years ago
- Simple modal terminal mulitplexer☆9Updated last year
- An implementation of the hammer2 filesystem for Plan 9☆18Updated 6 years ago
- ☆18Updated 9 years ago
- ☆25Updated 10 years ago
- public-domain base64 implementation☆16Updated 3 years ago
- pax archive utility☆11Updated last month
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆18Updated 9 years ago