spito / testingLinks
Small framework for unit testing C programs written in C.
☆14Updated 4 years ago
Alternatives and similar repositories for testing
Users that are interested in testing are comparing it to the libraries listed below
Sorting:
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- A Haskell binding to the X11 graphics library.☆111Updated last month
- Kan: A browser extension for reading nLab☆30Updated 6 years ago
- Agda interaction in vim☆135Updated 3 years ago
- ☆88Updated 5 months ago
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- A community around PL at Prague.☆18Updated 9 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆15Updated 5 months ago
- Haskell implementation of the wayland protocol☆92Updated 8 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆62Updated last year
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- The xmonad.org website☆17Updated 2 weeks ago
- A Brainfuck interpreter written in Agda☆50Updated 4 years ago
- Tutorial on monad transformers☆62Updated 3 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- Tiling window manager for wayland☆16Updated 9 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆20Updated last year
- A simple library for reporting compiler/interpreter errors☆266Updated last year
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- Advent of Code 2018 Solutions☆37Updated 5 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- XMonad Layout☆40Updated 9 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago