ahovgaard
Functional Programmer at Motorola Solutions. Computer Science graduate from DIKU, University of Copenhagen.
Motorola Solutions, Inc.Malmö, Sweden
Pinned Repositories
ahovgaard.github.io
GitHub Pages website.
bs_defense
Bachelor's thesis defense
charts
Helm Charts
cs344
Introduction to Parallel Programming class code
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.
klust
Efficient DNA/RNA sequence clustering using *k*-mers as an approximation for sequence similarity.
futhark
:boom::computer::boom: A data-parallel functional programming language
ahovgaard's Repositories
ahovgaard/ret2libc
Presentation of "The advanced return-into-lib(c) exploits" article.
ahovgaard/thesis
Thesis on adding support for higher-order functions to the Futhark language.
ahovgaard/TiPL-kleenex-approx
Kleenex-based approximate pattern matching for DNA analysis.
ahovgaard/twelf-records
Formalization of a simple functional language with records and subtyping in Twelf.
ahovgaard/ahovgaard.github.io
GitHub Pages website.
ahovgaard/bs_defense
Bachelor's thesis defense
ahovgaard/charts
Helm Charts
ahovgaard/cs344
Introduction to Parallel Programming class code
ahovgaard/dotfiles
ahovgaard/ov2013
Compilers / Oversættere / OV
ahovgaard/EasySSL
SSL certificate parsing for humans
ahovgaard/ex_azure_key_vault
Elixir wrapper for Azure Key Vault REST API
ahovgaard/ex_meck
A mocking library for Elixir especially suitable to property based testing.
ahovgaard/google-protos
Elixir files generated from Google's protobuf files using protobuf-elixir
ahovgaard/jerboa
STUN/TURN encoder, decoder and client library in Elixir
ahovgaard/kazan
Kubernetes API client for Elixir
ahovgaard/kufront
LaTeX frontpage with University of Copenhagen logo
ahovgaard/mldatavisualizer
A SML program for visualizing data structures in SML.
ahovgaard/oauth2-proxy
A reverse proxy that provides authentication with Google, Github or other providers.
ahovgaard/otp
Erlang/OTP
ahovgaard/poolboy
A hunky Erlang worker pool factory
ahovgaard/rabbitmq
Docker Official Image packaging for RabbitMQ
ahovgaard/redix
Fast, pipelined, resilient Redis driver for Elixir. 🛍
ahovgaard/stack
The Haskell Tool Stack
ahovgaard/stun-tester
ahovgaard/syn
A scalable global Process Registry and Process Group manager for Erlang and Elixir.
ahovgaard/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
ahovgaard/vimcmdline
Send code to command line interpreter
ahovgaard/x509
Elixir package for working with X.509 certificates, Certificate Signing Requests (CSRs), Certificate Revocation Lists (CRLs) and RSA/ECC key pairs