mdimjasevic

lxc-haskell-env

A mirror of https://gitlab.com/mdimjasevic/lxc-haskell-env

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

haskellweekly

Publishes curated news about the Haskell programming language.

home-assistant-frontend

:lollipop: Frontend for Home Assistant

hs-flatris

An implementation of Flatris using Haskell and Miso

Idris-dev

A Dependently Typed Functional Programming Language

klee

KLEE Symbolic Virtual Machine

klee-firehose-tmp

klee-uclibc

klee-uclibc

musllvm-klee

Port of Musl to LLVM for KLEE

obelisk

Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile

plfa.github.io

Introduction to programming language theory in Agda

PolysemyCleanArchitecture

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

prm4j

Parametric runtime monitoring for Java.

RepData_PeerAssessment1

Peer Assessment 1 for Reproducible Research

s2e

S2E - A Platform for In-Vivo Multi-Path Software Analysis

sms-backup-plus

Backup Android SMS, MMS and call log to Gmail / Gcal / IMAP

stp

Simple Theorem Prover.

tasty

Modern and extensible testing framework for Haskell

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

wire-server

🇪🇺 Wire back-end services