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:
- a simple and human readable binary diff format and implementation☆17Updated last year
- Library for writing text-based user interfaces☆12Updated 7 years ago
- C string library based on string ends☆19Updated 11 months ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- NetBSD userland tools☆9Updated 5 years ago
- Portable Event Library☆17Updated 2 months ago
- search for processes and print top(1)-like status☆13Updated last week
- random data dumper☆16Updated 5 years ago
- UNIX pacman game by Dave Nixon, AGS Computers Inc. (1981) with curses support by Mark Horton (1982)☆18Updated 2 years ago
- Context-free grammar parsing library☆10Updated 9 months ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆13Updated 8 months ago
- The spell program from the 10th Edition Unix system☆10Updated 4 years ago
- Minimal and fast regular expression library for C.☆18Updated 12 years ago
- A simple syscall tracer☆17Updated 9 months ago
- public-domain base64 implementation☆16Updated 3 years ago
- Mirror of simple-cc (http://www.simple-cc.org)☆13Updated 7 years ago
- terminal hex editor☆17Updated 7 months ago
- Learn how argc and argv are passed from environment to Unix program.☆19Updated 4 years ago
- Simple but compact wget replacement for embedded devices☆22Updated last year
- ☆25Updated 11 years ago
- DECnet for Linux☆12Updated 7 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated last week
- The smallest emacs-like editor I could find☆21Updated 7 years ago
- Lua for Plan 9 space☆21Updated 9 months ago
- The tiny terminal text editor. Fighting bloatware - 600loc, linked statically with minilib linux32bit: 8k, osx x64: 20k☆20Updated 5 years ago
- run process until all its spawned processes are dead☆15Updated 3 years ago
- Public domain strftime and date implementation.☆14Updated last year
- A low-level, C, stream-based, asynchronous 9P implementation☆12Updated 11 years ago
- A readline replacement. This is an evolution of the tinyrl library from clish.☆10Updated 9 years ago
- Options parser for simple or complex command lines. Take a look at the smenu project for an example of use.☆14Updated 2 months ago