spito / testing
Small framework for unit testing C programs written in C.
☆14Updated 3 years ago
Related projects: ⓘ
- Notes from courses at FI MUNI.☆70Updated 2 years ago
- Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.☆12Updated 8 months ago
- Hakyll powered blog for yannesposito.com☆40Updated 4 years ago
- A Haskell binding to the X11 graphics library.☆103Updated 2 months ago
- XMonad Layout☆40Updated 8 years ago
- Stack/cabal setup for testing xmonad* and configurations☆27Updated 3 years ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆24Updated 3 months ago
- My XMonad configuration☆57Updated last month
- 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
- 🎅🌟❄️☃️🎄🎁☆44Updated 2 years ago
- Agda interaction in vim☆130Updated 2 years ago
- A community around PL at Prague.☆17Updated 3 months ago
- Convert values from one type into another.☆74Updated last week
- A wayland compositor based on ideas from and inspired by xmonad☆90Updated 3 years ago
- A Haskell wrapper/binding to wlroots☆39Updated 5 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆99Updated 9 months ago
- A terminal based mail user agent based on notmuch☆139Updated 10 months ago
- ☆10Updated 5 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- LLVM code generation in Haskell☆49Updated 11 months ago
- A web site for converting haskell code into pointfree haskell code☆160Updated last year
- Nix configuration for reproducible builds of LaTeX documents☆23Updated 3 years ago
- Haskell implementation of the wayland protocol☆89Updated 7 years ago
- Haskell bindings to wlroots (and libwayland)☆58Updated 4 months ago
- Backlight controller for Linux systems☆16Updated 4 years ago
- hoodle : A pen notetaking program written in haskell☆142Updated last year
- Terminal emulator configurable in Haskell.☆393Updated 4 months ago
- agda-mode for neovim☆130Updated 4 months ago
- An MPD client with vim-like key bindings, written in Haskell☆137Updated 2 years ago