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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Source code for the Container-lang programming language☆11Mar 10, 2021Updated 5 years ago
- Trigonometric identities in LaTeX format☆13May 18, 2016Updated 9 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- Intelligent console tools written in Zsh script, available to everyone☆17Apr 28, 2023Updated 2 years ago
- NixOS configuration of my machines☆12Mar 28, 2026Updated 3 weeks ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- Visualizations of Facebook messenger history☆13Feb 23, 2020Updated 6 years ago
- Data structure to maintain an incremental topological ordering over a collection of values☆19Updated this week
- ☆15Jun 12, 2024Updated last year
- Get your IO right on the first try☆55Apr 13, 2026Updated last week
- A talk on the history of markup languages☆18Feb 3, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- multiple remote platform snippet-code manager command.☆24Sep 13, 2024Updated last year
- Quantum programming language putting entanglement and superposition front and center☆42Feb 26, 2023Updated 3 years ago
- SKI combinators☆56May 27, 2017Updated 8 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- Polylab polylog pollywog☆20Dec 27, 2025Updated 3 months ago
- ⚡💜 Electric meets elegant. A vibrant cyberpunk color system for Neovim, VS Code, Chrome, terminals, and 20+ tools.☆47Updated this week
- Enhances Cubase/Nuendo with new hotkeys & functionality☆24Nov 10, 2022Updated 3 years ago
- Robust and extensible parser combinators for Gleam☆33Sep 11, 2025Updated 7 months ago
- ☆35Feb 11, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Open-source software components of Playbit☆37Jul 25, 2025Updated 8 months ago
- Day pages for Emacs Org-Mode☆40Sep 2, 2017Updated 8 years ago
- A JS devtool orchestrator☆58Mar 29, 2026Updated 3 weeks ago
- Ch32 based christmas card with 8x8 screen, sound and capacitive buttons☆31Feb 28, 2024Updated 2 years ago
- Fast Haskell XML parser☆124Jul 16, 2023Updated 2 years ago
- An ergonomic command-line argument parser for the Roc language.☆55Jan 24, 2025Updated last year
- Typst Package to typeset inference rule☆60Feb 21, 2026Updated last month
- Lout Document Formatting System☆50Updated this week
- A package index for the Haskell ecosystem☆149Apr 12, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Build system and configuration files for generating and building ZMK firmware with Nix☆138Apr 12, 2026Updated last week
- IR Workshop - Windows application to create, mix and edit convolution impulse responses☆66Sep 9, 2017Updated 8 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 6 years ago
- Feral programming language reference implementation☆148Updated this week
- Haskell + Lisp☆214May 17, 2024Updated last year
- Assorted audio packages for Nix(OS)/Linux.☆111Mar 11, 2026Updated last month
- The Happy parser generator for Haskell☆318Updated this week