Aleksandar Topuzović's repositories
arduinostuff
Various arduino stuff ESP32/ESP8266 based
agda-sessions
Learn the Agda basics in three 2-hour sessions.
case-studies
Analysis of various tricky Rust code
dhall-grafana
Build Grafana dashboards with Dhall
f5-ansible
Ansible modules that can manipulate F5 products
Functional-Design-and-Architecture
Code and materials for book "Functional Design and Architecture"
Haskell-Lens-Tutorial-Library
The missing tutorial module for the lens library
hnix
A Haskell re-implementation of the Nix expression language
lambdapi
Dependently Typed Lambda Calculus in Haskell
lw2019-generics-workshop
Contains exercises for the workshop in generic programming at Lambda World 2019
merkle-schemes
apply merkle-type hash annotations to arbitrary recursive data structures as defined using recursion schemes
MoltenVK-nix
nix expressions for building the MoltenVK library (and utilities)
monadic-party2019
Workshop on Session Types at Monadic Party 2019
nexus433
433MHz temperature and humidity sensor receiver that integrates with home automation systems.
nix-1p
A (more or less) one page introduction to Nix, the language.
nix-env-selector
Allows switch environment for Visual Studio Code and extensions based on Nix config file.
pandoc-latex-template
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
parsing-with-haskell-parser-combinators
🔍 A step-by-step guide to parsing using Haskell parser combinators.
pinebook
Pinebook related things
PKGBUILDs
PKGBUILDs modified to build on Arch Linux ARM
rtl88x2BU_WiFi_linux_v5.3.1_27678.20180430_COEX20180427-5959
rtl88x2bu driver updated for current kernels.
rust-practise-questions
A set of questions for practise in Rust
SAFE-TodoMVC-workshop
Repository with SAFE TodoMVC application meant for a workshop
wise_mans_haskell
Free book for learning Haskell
zero-bullshit-haskell
Learn Haskell, without the bullshit.
ZeroTierOne
A Smart Ethernet Switch for Earth
zippers-course
Zippers Course