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
- Notes from courses at FI MUNI.☆70Updated 2 years ago
- A client library for the D-Bus IPC system.☆41Updated last week
- Kuhy's literate dotfiles.☆11Updated 8 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆33Updated 3 years ago
- Pastebin service in haskell☆31Updated last month
- Geometry in Coq for French high school [maintainer=@thery]☆20Updated 6 months ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- Haskell/GHCi as a Hex-Calculator interactive☆25Updated 7 months ago
- Search Hoogle from Rofi☆28Updated 9 months ago
- A Haskell library for building incremental static site generators☆16Updated last year
- Config files for xmonad.hs, .xmobarrc and terminal in Solarized theme.☆26Updated 11 years ago
- Debug Adapter for Haskell debugging system.☆54Updated 6 months ago
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- Tiling window manager for wayland☆16Updated 8 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆40Updated this week
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Updated 4 years ago
- Inline Assembly code in ur Haskell!☆41Updated last year
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45Updated 2 years ago
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 2 weeks ago
- Configure dzen2 bars in Dhall language☆24Updated 4 years ago
- haskell project using nix☆17Updated 4 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 8 years ago
- XMonad Layout☆40Updated 8 years ago
- Rainy config for XMonad☆17Updated 4 years ago
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)☆37Updated 2 months ago
- The xmonad.org website☆17Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated 11 months ago
- A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering☆56Updated last year
- Application launcher in haskell. Mostly Just For Fun.☆72Updated last month
- A Haskell wrapper/binding to wlroots☆40Updated 5 years ago