ErikThorsell / chalmersnotesLinks
Notes from the Computer Science program at Chalmers Uni. of Technology
☆14Updated 7 years ago
Alternatives and similar repositories for chalmersnotes
Users that are interested in chalmersnotes are comparing it to the libraries listed below
Sorting:
- agda-mode for neovim☆168Updated 3 weeks ago
- Code challenges to solve with Haskell☆179Updated last month
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆430Updated 3 weeks ago
- Haskell project template using Nix + Flakes + VSCode (HLS)☆282Updated 3 weeks ago
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆66Updated 3 weeks ago
- How I start Haskell.☆100Updated 4 months ago
- A `flake-parts` Nix module for Haskell development☆216Updated this week
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 8 months ago
- 🦥 Supercharge your Haskell experience in neovim!☆556Updated this week
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆472Updated this week
- An easy to use, cross platform, GUI library for writing Haskell applications.☆638Updated last year
- ☆178Updated last week
- Haskell bindings to wlroots (and libwayland)☆69Updated last year
- ☆15Updated last year
- Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.☆12Updated 3 months ago
- A simple Nix-Haskell skeleton☆118Updated 5 months ago
- A wayland compositor based on ideas from and inspired by xmonad☆862Updated 6 years ago
- Nix and Haskell in production☆1,164Updated 2 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆443Updated 2 months ago
- Haskell implemented with combinators☆642Updated this week
- Alternative Haskell Infrastructure for Nixpkgs☆611Updated this week
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆308Updated last week
- Terminal emulator configurable in Haskell.☆417Updated 5 months ago
- The Haskell Optimization Handbook☆181Updated 8 months ago
- Shell programming, Haskell style☆961Updated 2 months ago
- Haskell Tiny Game Jam☆171Updated 2 years ago
- Interactive Coq Proofs in Vim☆305Updated 2 weeks ago
- Generate Nix build instructions from a Cabal file☆390Updated last week
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆430Updated 3 years ago
- A package index for the Haskell ecosystem☆146Updated last week