ErikThorsell / chalmersnotes
Notes from the Computer Science program at Chalmers Uni. of Technology
☆14Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for chalmersnotes
- Haskell bindings to wlroots (and libwayland)☆61Updated 6 months ago
- A `flake-parts` Nix module for Haskell development☆157Updated this week
- A simple Nix-Haskell skeleton☆97Updated last week
- Haskell project template using Nix + Flakes + VSCode (HLS)☆232Updated this week
- agda-mode for neovim☆134Updated 3 weeks ago
- How I start Haskell.☆99Updated last month
- Generic package manager for Standard ML libraries and programs☆162Updated last month
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- A package index for the Haskell ecosystem☆128Updated this week
- A simple library for reporting compiler/interpreter errors☆260Updated 3 months ago
- Auto generate a stack or cabal multi component hie.yaml file☆204Updated 9 months ago
- ☆140Updated this week
- A Haskell project template for Advent of Code solutions.☆30Updated 11 months ago
- Browse Hackage from the terminal☆93Updated last month
- A wayland compositor based on ideas from and inspired by xmonad☆90Updated 3 years ago
- Defect Process (2d hack n' slash game) full source code☆212Updated last year
- Generate texlive nix expressions for documents☆95Updated 6 months ago
- Haskell library for the Microsoft Language Server Protocol☆366Updated 3 months ago
- Public repository for Advanced Programming☆57Updated 3 weeks ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Pragmatic tutorial on how to use nix with a haskell monorepo☆155Updated last year
- Haskell grammar for tree-sitter.☆157Updated last week
- Generate Nix build instructions from a Cabal file☆361Updated last week
- batteries-included nix-based haskell project template☆61Updated 3 months ago
- My system configuration☆165Updated last month
- Compiling Agda code to readable Haskell☆177Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆166Updated last year
- An easy to use, cross platform, GUI library for writing Haskell applications.☆597Updated 6 months ago
- A ready-to-fork interpreted functional language with type inference☆389Updated 11 months ago