✏︎ Curated list about digital typography 🔥

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

High performance, concurrent functional programming abstractions

A curated list of delightful XMPP related resources.

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

A lightweight and colourful test framework

Declarative terminal graphics for OCaml

Haskell implementation of the wayland protocol

🔥 A curated list of useful resources related to User Interface Design

Curated list of Prolog packages and resources

The Robot Operating System Version 2.0 is awesome!

High performance OpenGL fluid solver in C++

Writing a sqlite clone from scratch in C

Antialiased 2D vector drawing library on top of OpenGL for UI and visualizations.

A tool like /bin/ps but uses /proc/kcore for walking the tasklist; this finds hidden processes

Azazel is a userland rootkit based off of the original LD_PRELOAD technique from Jynx rootkit. It is more robust and has additional features, and focuses heavily around anti-debugging and anti-dete…

ELF anti-forensics exec, for injecting full dynamic executables into process image (With thread injection)

WeChat: NeuralTalk，Weekly report and awesome list of embedded-ai.

The Haskell performance checklist

Generate Haskell bindings for GObject-Introspection capable libraries

💥💻💥 A data-parallel functional programming language

(Nominal) Adapton in OCaml

OPAM repo for OCaml multicore development

Concurrent Programming with Effect Handlers

Experiments in an explorable visual medium for mathematics

Slides and other materials from CppCon 2017

An open-source lint program for C++ developed by, and formerly used at Facebook.

A fast preprocessor for C and C++

API Documentation Browser

Cryptographic currency implementing Ouroboros PoS protocol