keksnicoh

hasktorch

Tensors and neural networks in Haskell

deep-reinforcement-learning

Repo for the Deep Reinforcement Learning Nanodegree program

flow

Keras implement of flow-based models

MultiMAE

MultiMAE: Multi-modal Multi-task Masked Autoencoders, ECCV 2022

neovim

Vim-fork focused on extensibility and usability

dep-t

Dependency injection for records-of-functions.

sclack

The best CLI client for Slack, because everything is terrible!

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

ghc-passes-graph

haskell-library-template

Template for Haskell libraries

typerep-map

⚡️Efficient implementation of Map with types as keys

rppal

A Rust library that provides access to the Raspberry Pi's GPIO, I2C, PWM, SPI and UART peripherals.

rust-sysfs-gpio

A Rust Interface to the Linux sysfs GPIO interface (https://www.kernel.org/doc/Documentation/gpio/sysfs.txt)

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

trek

void-space

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

fp-course

Functional Programming Course

ariel

A simple, purely-functional programming language

dth

Examples of Dependently-typed programs in Haskell

intellij-haskell

IntelliJ plugin for Haskell

grc

generic colouriser

colormap-shaders

A collection of shaders to draw color maps.