Pinned Repositories
awesome-applied-ct
ACT community resources
awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
compilerpraktikum
coursebook
a tool to help students lookup course info online
creduce
C-Reduce, a C program reducer
dnlkrgr-com
enas
TensorFlow Code for paper "Efficient Neural Architecture Search via Parameter Sharing"
hsreduce
Minimizing Haskell programs for easier debugging of GHC compiler crashes
hsreduce-test-cases
lambda
interpreter for an untyped lambda calculus without the y-combinator
dnlkrgr's Repositories
dnlkrgr/hsreduce
Minimizing Haskell programs for easier debugging of GHC compiler crashes
dnlkrgr/hsreduce-test-cases
dnlkrgr/lambda
interpreter for an untyped lambda calculus without the y-combinator
dnlkrgr/awesome-applied-ct
ACT community resources
dnlkrgr/awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
dnlkrgr/compilerpraktikum
dnlkrgr/coursebook
a tool to help students lookup course info online
dnlkrgr/creduce
C-Reduce, a C program reducer
dnlkrgr/dnlkrgr-com
dnlkrgr/enas
TensorFlow Code for paper "Efficient Neural Architecture Search via Parameter Sharing"
dnlkrgr/firestorm-nixos
dnlkrgr/fp-course
Functional Programming Course
dnlkrgr/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
dnlkrgr/hs-all-in-one
Merges Haskell modules into one
dnlkrgr/hsokoban
Another sokoban clone
dnlkrgr/kuromasu
dnlkrgr/lets-lens
Course material for lens
dnlkrgr/neural-architecture-search
Basic implementation of [Neural Architecture Search with Reinforcement Learning](https://arxiv.org/abs/1611.01578).
dnlkrgr/ormolu
A formatter for Haskell source code
dnlkrgr/PayloadsAllTheThings
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
dnlkrgr/PraktikumNeuronaleNetze
dnlkrgr/rust-reduce
`rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code.
dnlkrgr/shake
Shake build system
dnlkrgr/strangeloop
Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
dnlkrgr/swiplchrtut
Tutorial for the CHR system
dnlkrgr/swiplclpfd
clp(fd) tutorial
dnlkrgr/swiplmessage
Tutorial for the Quintus message printing system
dnlkrgr/while-lang