Notes from the Computer Science program at Chalmers Uni. of Technology
☆14Apr 27, 2018Updated 7 years ago
Alternatives and similar repositories for chalmersnotes
Users that are interested in chalmersnotes are comparing it to the libraries listed below
Sorting:
- Functional Quantum Programming☆19May 19, 2021Updated 4 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- This script dynamically udpates GoDaddy DNS A record. I have to use Godaddy for a domain and I wanted a way to update the A record whenev…☆10Mar 4, 2017Updated 9 years ago
- NixOS configuration of my machines☆12Dec 30, 2025Updated 2 months ago
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- Source code for the Container-lang programming language☆11Mar 10, 2021Updated 4 years ago
- Trigonometric identities in LaTeX format☆13May 18, 2016Updated 9 years ago
- Visualizations of Facebook messenger history☆13Feb 23, 2020Updated 6 years ago
- ☆12Mar 21, 2025Updated 11 months ago
- Vibrant cyberpunk-inspired Neovim theme with neon colors, extensive plugin support, and many extras☆42Updated this week
- Haskell parser for the djot light markup language☆27Feb 25, 2026Updated last week
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 2 years ago
- 🎲 A Pure Random Number Generator for Gleam☆28Feb 23, 2026Updated 2 weeks ago
- ☆27Jul 15, 2024Updated last year
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- Robust and extensible parser combinators for Gleam☆33Sep 11, 2025Updated 5 months ago
- Day pages for Emacs Org-Mode☆40Sep 2, 2017Updated 8 years ago
- The Missing Emacs starter-kit!☆34Dec 31, 2021Updated 4 years ago
- ☆47Nov 15, 2022Updated 3 years ago
- A JS devtool orchestrator☆57Jan 27, 2026Updated last month
- An ergonomic command-line argument parser for the Roc language.☆55Jan 24, 2025Updated last year
- Wine-NSPA: Proaudio & RT focused builds of Wine(-TKG)... WARNING: Forced Pushes && Resets..☆65Jun 30, 2025Updated 8 months ago
- Implementation of FIR and IIR filters optimized for SIMD processing☆51Jan 31, 2017Updated 9 years ago
- Get your IO right on the first try☆55Mar 2, 2026Updated last week
- A tool to precompute atmospheric scattering tables for real-time dynamic atmosphere rendering.☆56Jun 3, 2023Updated 2 years ago
- IR Workshop - Windows application to create, mix and edit convolution impulse responses☆63Sep 9, 2017Updated 8 years ago
- Haskell library for parsing and evaluating typst☆68Feb 13, 2026Updated 3 weeks ago
- Re-use the NixOS VM test infrastructure to test Ubuntu, Debian, and Fedora machines.☆80Mar 2, 2026Updated last week
- Highlight by scope☆54Mar 31, 2024Updated last year
- Collections of script to create a minimal dev environment based on Arch Linux.☆53Jun 19, 2019Updated 6 years ago
- Use MacOS Dynamic Wallpapers on your Linux Desktop☆55May 28, 2022Updated 3 years ago
- 🎥✂️🔗 Video downloader, trimmer, and merger using the terminal. Supports YouTube, Facebook, Reddit, Twitter, etc. Downloads/trims at mul…☆67Feb 20, 2023Updated 3 years ago
- Asynchronous C implementation of the Raft consensus protocol☆86Dec 27, 2025Updated 2 months ago
- Edit LaTeX fragments like editing src blocks☆67Sep 8, 2017Updated 8 years ago
- Dotfiles for my CachyOS system☆80Dec 17, 2024Updated last year
- Assorted audio packages for Nix(OS)/Linux.☆108Feb 25, 2026Updated last week
- Shahar "Dawn" Or's Nix-powered "IT infrastructure" repository☆160Updated this week
- Search engine for the gleam ecosystem! Search across the entire gleam ecosystem!☆114Jun 30, 2025Updated 8 months ago