Styles for LaTeX, beamer for Chalmers University of Technology
☆48Feb 27, 2018Updated 8 years ago
Alternatives and similar repositories for chalmers
Users that are interested in chalmers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Thesis template for PhD/Lic thesis at Chalmers☆10Nov 4, 2019Updated 6 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- ☆15Nov 14, 2014Updated 11 years ago
- Textual, eXecutable, Translatable UML☆27Jul 3, 2019Updated 7 years ago
- ☆17Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 7 months ago
- Use linux on a laptop and use xrandr to use projectors or external monitors? This is just a simple script that takes no arguments and doe…☆16Dec 15, 2023Updated 2 years ago
- avoid cabal dependency hell by installing all your cabal dependencies at the same time☆36Mar 26, 2015Updated 11 years ago
- S. Marlow's Par monad with dataflow graph output☆13Mar 26, 2018Updated 8 years ago
- Python wrapper around pdflatex☆30Mar 25, 2016Updated 10 years ago
- Feedback services for intelligent tutoring systems☆28Sep 5, 2026Updated last month
- Library for Geometric Algebra in Haskell☆12Apr 4, 2011Updated 15 years ago
- Simulation of a deterministic Turing Machine using Haskell☆13May 1, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My personal development environment☆11Updated this week
- Organization and planning for the Initial Types Club☆76Sep 22, 2022Updated 4 years ago
- Git helper☆13Mar 27, 2026Updated 7 months ago
- Notes about future events and planning☆10Aug 26, 2014Updated 12 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Thesis template(s) for Chalmers E2 PhD students☆19Sep 27, 2026Updated last month
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Transform geometry positions with a 4x4 transformation matrix.☆13Dec 27, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Apr 9, 2017Updated 9 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 7 years ago
- The Chart Study tool, by base.report, is a web-based application for analyzing stock charts.☆15Mar 17, 2023Updated 3 years ago
- Shadower watches a specific folder, and runs doctests in any Haskell sources in the folder that are modified☆12Jan 28, 2018Updated 8 years ago
- Jai bindings for Raylib☆14Nov 9, 2021Updated 4 years ago
- Tools to support multiple GHC distributions in a Bash shell environment☆14Jul 11, 2019Updated 7 years ago
- Implements Mutex, Semaphore and exclusive ReadModifyWrite operations on ARM Cortex-M3 and Cortex-M4☆11Feb 28, 2019Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Display time values in a friendly way☆14Oct 9, 2019Updated 7 years ago
- Higher order functions for ZSH☆15Apr 23, 2019Updated 7 years ago
- ☆12Mar 27, 2025Updated last year
- ☆12Sep 29, 2026Updated last month
- http://www.cse.chalmers.se/edu/course/afp/☆13Dec 1, 2015Updated 10 years ago
- A haskell time library based on Erik Naggum's "Long painful history of time"☆11Aug 16, 2026Updated 2 months ago
- Standard ML Bindings for LLVM☆10Oct 19, 2014Updated 12 years ago