ahovgaard

ret2libc

Presentation of "The advanced return-into-lib(c) exploits" article.

thesis

Thesis on adding support for higher-order functions to the Futhark language.

TiPL-kleenex-approx

Kleenex-based approximate pattern matching for DNA analysis.

twelf-records

Formalization of a simple functional language with records and subtyping in Twelf.

ahovgaard.github.io

GitHub Pages website.

bs_defense

Bachelor's thesis defense

charts

Helm Charts

cs344

Introduction to Parallel Programming class code

dotfiles

EasySSL

SSL certificate parsing for humans

ex_azure_key_vault

Elixir wrapper for Azure Key Vault REST API

ex_meck

A mocking library for Elixir especially suitable to property based testing.

google-protos

Elixir files generated from Google's protobuf files using protobuf-elixir

jerboa

STUN/TURN encoder, decoder and client library in Elixir

kazan

Kubernetes API client for Elixir

kufront

LaTeX frontpage with University of Copenhagen logo

mldatavisualizer

A SML program for visualizing data structures in SML.

oauth2-proxy

A reverse proxy that provides authentication with Google, Github or other providers.

otp

Erlang/OTP

ov2013

Compilers / Oversættere / OV

poolboy

A hunky Erlang worker pool factory

rabbitmq

Docker Official Image packaging for RabbitMQ

redix

Fast, pipelined, resilient Redis driver for Elixir. 🛍

stack

The Haskell Tool Stack

stun-tester

syn

A scalable global Process Registry and Process Group manager for Erlang and Elixir.

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

vimcmdline

Send code to command line interpreter

x509

Elixir package for working with X.509 certificates, Certificate Signing Requests (CSRs), Certificate Revocation Lists (CRLs) and RSA/ECC key pairs