dnlkrgr Goto Github PK

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"

firestorm-nixos

fp-course

Functional Programming Course

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

hs-all-in-one

Merges Haskell modules into one

hsokoban

Another sokoban clone

hsreduce

Minimizing Haskell programs for easier debugging of GHC compiler crashes

hsreduce-test-cases

kuromasu

lambda

interpreter for an untyped lambda calculus without the y-combinator

lets-lens

Course material for lens

neural-architecture-search

Basic implementation of [Neural Architecture Search with Reinforcement Learning](https://arxiv.org/abs/1611.01578).

ormolu

A formatter for Haskell source code

payloadsallthethings

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

praktikumneuronalenetze

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.

shake

Shake build system

strangeloop

Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'

swiplchrtut

Tutorial for the CHR system

swiplclpfd

clp(fd) tutorial

swiplmessage

Tutorial for the Quintus message printing system

while-lang