diku-its / its-e2020Links
Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph
☆10Updated 4 years ago
Alternatives and similar repositories for its-e2020
Users that are interested in its-e2020 are comparing it to the libraries listed below
Sorting:
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- Public repository for Advanced Programming☆58Updated 7 months ago
- En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠☆11Updated 3 years ago
- How do I DIKU? How indeed.☆28Updated last week
- My configuration for Doom Emacs. Mirror of https://git.tecosaur.net/tec/emacs-config.☆1,066Updated 2 months ago
- Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and…☆18Updated 3 weeks ago
- A Haskell binding to the X11 graphics library.☆112Updated last week
- lsp-mode haskell☆242Updated last week
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆58Updated 5 months ago
- an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO☆156Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated 11 months ago
- Visual enhancements for the Emacs Calendar Framework (calfw)☆14Updated last month
- Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them☆432Updated 2 years ago
- doom-emacs packaged for Nix☆229Updated 2 years ago
- My private config for Doom Emacs☆12Updated 2 years ago
- Emacs mode for Haskell☆1,359Updated 3 weeks ago
- A simple Nix-Haskell skeleton☆114Updated 2 months ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- ☆14Updated 5 years ago
- Org sync with Google Calendar. (active maintained project as of 2019-11-06)☆452Updated last week
- ☆395Updated last year
- Bleeding edge emacs overlay [maintainer=@adisbladis]☆562Updated this week
- A PGF backend for diagrams☆15Updated 2 weeks ago
- Haskell exercises with automatic tests☆159Updated 4 years ago
- Search and manage bibliographies in Emacs☆475Updated 9 months ago
- Write Emacs extensions in Haskell☆384Updated last year
- My doom emacs configuration files☆308Updated 3 years ago
- Pragmatic tutorial on how to use nix with a haskell monorepo☆159Updated 2 years ago