ichistmeinname

free-proving

Resources for "One Monad to Prove Them All"

free-theorems

DTDatastructures

Reimplementations of functional data structures (mostly as presented by Okasaki) in a dependently typed language

FreeMonadLecture

Chapter on free monads used in functional programming course

haskell-for-beginners

Resources from the course "Advanced Programming" about functional programming using Haskell

page

A personal professional homepage (or is it a professional personal homepage?)

ProbabilisticProgrammingBenchmarks

Benchmarks for PFLP, a library for probabilistic programming in Curry, with comparisons to other probabilistic languages

advanced-programming-page

Information page for the course "Advanced Programming"

capitano-react

confluence-publisher

Maven plugin and Docker image to convert AsciiDoc and publish it to Confluence

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

cyclonedx-cocoapods

Creates CycloneDX Software Bill-of-Materials (SBOM) from Objective-C and Swift Projects Using CocoaPods

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

formbricks

Open Source Forms & Surveys

fp-companies-sh-hh

A list of companies in Schleswig-Holstein and Hamburg, that use functional programming

free-proving-code

Library to model effectful programs and prove properties about these programs in Coq

free-theorems-static-webui

A browser-only web interface to the free-theorems library

gold-backend

HenningIndexVerification

Proofs for the implementation of a power index via BDDs

icfp2016-papers

Link to preprints for ICFP'16 and co-located events

KiCS2-Mock

Mock-up for KiCS2 runtime environment

kifl-ts

ktlint

An anti-bikeshedding Kotlin linter with built-in formatter

mattermost-plugin-autolink

Automatically rewrite text matching a regular expression into a markdown link.

owasp-mstg

The Mobile Security Testing Guide (MSTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes the technical processes for verifying the controls listed in the OWASP Mobile Application Security Verification Standard (MASVS).

phd-thesis

programming-intro

pubquiz-score

Visualise score for teams participating in pub quiz

women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research