Name: Marko Dimjašević
Type: User
Bio: Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
Location: Križevci, Croatia
Blog: https://dimjasevic.net/marko
Marko Dimjašević's Projects
Agda is a dependently typed programming language / interactive theorem prover.
Debile platform
A docker image to run OpenLDAP
A friendly effect system for Haskell
A static website compiler library in Haskell
Publishes curated news about the Haskell programming language.
:lollipop: Frontend for Home Assistant
An implementation of Flatris using Haskell and Miso
A Dependently Typed Functional Programming Language
KLEE Symbolic Virtual Machine
klee-uclibc
A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env
Port of Musl to LLVM for KLEE
Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile
Introduction to programming language theory in Agda
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Parametric runtime monitoring for Java.
Peer Assessment 1 for Reproducible Research
S2E - A Platform for In-Vivo Multi-Path Software Analysis
Backup Android SMS, MMS and call log to Gmail / Gcal / IMAP
Simple Theorem Prover.
Modern and extensible testing framework for Haskell
A wrapper script to build whole-program LLVM bitcode files
🇪🇺 Wire back-end services