Marko Dimjašević
mdimjasevic
Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
Languages
Repos
33
Stars
1
Forks
0
Top Language
Haskell
Loading contributions...
Top Repositories
A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env
ESPHome custom component for Levoit branded smart WiFi air purifiers
:blue_book: Home Assistant User documentation
Intents to be used with Home Assistant
MPD client for Wear OS
Network-wide ads & trackers blocking DNS server
Repositories
33ESPHome custom component for Levoit branded smart WiFi air purifiers
:blue_book: Home Assistant User documentation
Intents to be used with Home Assistant
MPD client for Wear OS
Network-wide ads & trackers blocking DNS server
rtklib on android (not updated since 2014)
No description provided.
:lollipop: Frontend for Home Assistant
A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Publishes curated news about the Haskell programming language.
🇪🇺 Wire back-end services
An implementation of Flatris using Haskell and Miso
Introduction to programming language theory in Agda
A static website compiler library in Haskell
Agda is a dependently typed programming language / interactive theorem prover.
No description provided.
Backup Android SMS, MMS and call log to Gmail / Gcal / IMAP
Modern and extensible testing framework for Haskell
Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile
A friendly effect system for Haskell
A Dependently Typed Functional Programming Language
A docker image to run OpenLDAP
S2E - A Platform for In-Vivo Multi-Path Software Analysis
Port of Musl to LLVM for KLEE
No description provided.
klee-uclibc
A wrapper script to build whole-program LLVM bitcode files
Debile platform
KLEE Symbolic Virtual Machine