spito / testing
Small framework for unit testing C programs written in C.
☆14Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for testing
- XMonad Layout☆40Updated 8 years ago
- Kuhy's literate dotfiles.☆11Updated 6 months ago
- My XMonad configuration☆57Updated 3 months ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- The xmonad.org website☆17Updated this week
- Agda as a collaborative multiplayer game☆31Updated last month
- Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.☆43Updated 7 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Bringing VIM philosophy to window management☆70Updated 8 years ago
- Config files for xmonad.hs, .xmobarrc and terminal in Solarized theme.☆26Updated 11 years ago
- Stack/cabal setup for testing xmonad* and configurations☆27Updated 3 years ago
- Collection of dotfiles for my NixOS machine☆14Updated 5 years ago
- A Haskell binding to the X11 graphics library.☆105Updated last week
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆140Updated 4 years ago
- Haskell/GHCi as a Hex-Calculator interactive☆25Updated 5 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆52Updated 4 years ago
- Agda interaction in vim☆130Updated 3 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆19Updated 4 months ago
- Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependencies.☆50Updated 3 months ago
- A wrapper for gi-gtk, adding a few more idiomatic API parts on top☆9Updated 4 years ago
- Rainy config for XMonad☆17Updated 4 years ago
- A GNU Emacs major mode for editing BNF grammars☆45Updated 2 months ago
- DBus monitor for xmonad log events.☆35Updated 5 months ago
- An MPD client with vim-like key bindings, written in Haskell☆139Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Clone of isabelle, with LSP extensions in seperate branches☆25Updated this week
- A Haskell library for building incremental static site generators☆14Updated 11 months ago
- Tiling window manager for wayland☆16Updated 8 years ago
- dmenu-ee // dynamic menu extended edition☆17Updated 5 years ago
- Source Code for JSON Parser Video☆171Updated last year