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☆173Updated 2 months ago
- ☆15Updated last month
- Exhaustive list☆22Updated 5 years ago
- Haskell project template using Nix + Flakes + VSCode (HLS)☆287Updated 2 weeks ago
- Contributed modules for xmonad☆603Updated this week
- Code challenges to solve with Haskell☆183Updated 3 months ago
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆436Updated last week
- Haskell bindings to wlroots (and libwayland)☆70Updated last year
- 🦥 Supercharge your Haskell experience in neovim!☆563Updated this week
- ☆179Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 10 months ago
- How I start Haskell.☆100Updated 6 months ago
- A `flake-parts` Nix module for Haskell development☆221Updated this week
- A simple Nix-Haskell skeleton☆118Updated 6 months ago
- A wayland compositor based on ideas from and inspired by xmonad☆863Updated 6 years ago
- Terminal emulator configurable in Haskell.☆417Updated 6 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆645Updated last week
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆68Updated 2 months ago
- ☆58Updated 2 years ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆199Updated 2 years ago
- Production ready, modern web-application starter template using haskell and htmx☆97Updated 7 months ago
- 🕵️ Haskell STatic ANalyser☆586Updated 2 months ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated last year
- Agda interaction pluging for neovim☆40Updated last year
- A prompt engineering functional programming language☆480Updated last week
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆313Updated this week
- batteries-included nix-based haskell project template☆64Updated last year
- A command-line manager for delicious kitchen recipes☆199Updated 2 years ago
- NeoVim plugin for interacting with Agda written in Lua☆19Updated last year
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆731Updated last week