kantinen / infoscreenLinks
Slides til infoskærmen
☆8Updated last month
Alternatives and similar repositories for infoscreen
Users that are interested in infoscreen are comparing it to the libraries listed below
Sorting:
- a simple infoscreen system☆12Updated 9 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 4 months ago
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- Generic package manager for Standard ML libraries and programs☆165Updated 5 months ago
- A BQN wrapper script for Gnuplot☆11Updated 11 months ago
- How do I DIKU? How indeed.☆26Updated last month
- Public repository for the HPPS course☆17Updated 3 years ago
- an implementation of stuck macros☆144Updated 2 weeks ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆61Updated 8 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- Vim mode for Idris 2☆77Updated 2 years ago
- BQN grammar for tree-sitter☆16Updated 5 months ago
- Agda as a collaborative multiplayer game☆37Updated 9 months ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆106Updated 2 years ago
- Accelerated machine learning with dependent types☆95Updated last week
- Turn opam-based OCaml projects into Nix derivations☆133Updated last week
- Haskell bindings to wlroots (and libwayland)☆67Updated last year
- PMPH course 2020 public repo☆12Updated last year
- A wayland compositor based on ideas from and inspired by xmonad☆93Updated 3 years ago
- ☆12Updated 4 years ago
- More stable versions of some articles from my blog☆30Updated 2 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆17Updated last year
- Total Parser Combinators in Agda☆130Updated 2 years ago
- A simple Nix-Haskell skeleton☆112Updated last month
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆11Updated 8 months ago
- Data Parallel Programming☆22Updated last year
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆180Updated 4 months ago
- How I start Haskell.☆100Updated last week