spito / testing
Small framework for unit testing C programs written in C.
☆14Updated 3 years ago
Alternatives and similar repositories for testing:
Users that are interested in testing are comparing it to the libraries listed below
- A Haskell binding to the X11 graphics library.☆110Updated last week
- The xmonad.org website☆17Updated last week
- Tiling window manager for wayland☆16Updated 8 years ago
- A Haskell wrapper/binding to wlroots☆41Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependencies.☆52Updated 8 months ago
- ☆10Updated 5 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Agda interaction pluging for neovim☆37Updated 6 months ago
- simple X background setter inspired by imlibsetroot and feh.☆45Updated 3 months ago
- Haskell to brainfuck compiler☆29Updated 10 years ago
- DEPRECATED Haskell bindings for the Wayland library☆32Updated 9 years ago
- A wayland compositor based on ideas from and inspired by xmonad☆91Updated 3 years ago
- ☆83Updated last week
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- wjt is a slider widget for X.☆39Updated 3 years ago
- Debug Adapter for Haskell debugging system.☆58Updated last week
- Provides a Monoid, Functor, Applicative and Monad for Fucks (to give)☆12Updated 8 years ago
- Haskell implementation of the wayland protocol☆90Updated 7 years ago
- An interactive tool for experimenting with LR(1) grammars☆14Updated 3 years ago
- XMonad Layout☆40Updated 8 years ago
- compiler for x86 in 100 bytes☆69Updated 10 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆20Updated 9 months ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Haskell bindings to Lua, an embeddable scripting language.☆132Updated 3 months ago
- An MPD client with vim-like key bindings, written in Haskell☆138Updated 2 years ago
- Agda as a collaborative multiplayer game☆35Updated 6 months ago
- View 3D models in the terminal☆10Updated 5 years ago
- ☆15Updated 6 years ago
- Stack/cabal setup for testing xmonad* and configurations☆27Updated 4 years ago