mdimjasevic
Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
Križevci, Croatia
Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda
Agda is a dependently typed programming language / interactive theorem prover.
debile
Debile platform
docker-openldap
A docker image to run OpenLDAP
fencer
freer-simple
A friendly effect system for Haskell
hakyll
A static website compiler library in Haskell
lxc-haskell-env
A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env
plfa.github.io
An introduction to programming language theory in Agda
wire-server
🇪🇺 Wire back-end services
mdimjasevic's Repositories
mdimjasevic/lxc-haskell-env
A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env
mdimjasevic/agda
Agda is a dependently typed programming language / interactive theorem prover.
mdimjasevic/debile
Debile platform
mdimjasevic/docker-openldap
A docker image to run OpenLDAP
mdimjasevic/fencer
mdimjasevic/freer-simple
A friendly effect system for Haskell
mdimjasevic/hakyll
A static website compiler library in Haskell
mdimjasevic/haskellweekly
Publishes curated news about the Haskell programming language.
mdimjasevic/home-assistant-frontend
:lollipop: Frontend for Home Assistant
mdimjasevic/hs-flatris
An implementation of Flatris using Haskell and Miso
mdimjasevic/Idris-dev
A Dependently Typed Functional Programming Language
mdimjasevic/klee
KLEE Symbolic Virtual Machine
mdimjasevic/klee-firehose-tmp
mdimjasevic/klee-uclibc
klee-uclibc
mdimjasevic/musllvm-klee
Port of Musl to LLVM for KLEE
mdimjasevic/obelisk
Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile
mdimjasevic/plfa.github.io
Introduction to programming language theory in Agda
mdimjasevic/PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
mdimjasevic/prm4j
Parametric runtime monitoring for Java.
mdimjasevic/RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
mdimjasevic/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis
mdimjasevic/sms-backup-plus
Backup Android SMS, MMS and call log to Gmail / Gcal / IMAP
mdimjasevic/stp
Simple Theorem Prover.
mdimjasevic/tasty
Modern and extensible testing framework for Haskell
mdimjasevic/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
mdimjasevic/wire-server
🇪🇺 Wire back-end services