- Pieve a Nievole, Italy
- http://awgn.antifork.org
Stars
The engine for haskell ide-integration. Not an IDE
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Demonstration of various hardware effects.
An interpreted esoteric programming language accepts only letters 'l', 'o' and 'z'
A minimal example for a REST-API-server written with servant and a test-suite using servant-client
FlatBuffers: Memory Efficient Serialization Library
A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch
Base Docker image which includes minimal shared libraries for GHC-compiled executables
A Dependently Typed Functional Programming Language
C++11/14 strings for direct use in template parameter lists, template metaprogramming.
Support for Currying and Function Composition in C++
A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor