ners Goto Github PK

beepboop

Audio files go beep boop

com.st.stm32cubeide

conduit

A streaming data library

conduit-parse

Parsing framework based on conduit.

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

dosh

The power of Haskell in your terminal!

dotex

Dot grid document generator with support for branding

dragonchlet

dragonnest

Blog

dream2nix

Nixify software with less effort [maintainer=@DavHau]

dunai-graphql

GraphQL backend for Dunai and Rhine

dunai-imgui

emanote

Spiritual successor to neuron, based on Ema.

everforest

🌲 Comfortable & Pleasant Color Scheme for Vim

fedora

Fedora setup

flake-compat

Community fork of flake-compat [maintainer=@zimbatm]

flatpak-zsh-completion

ZSH completion for Flatpak

fmem

Linux Kernel Module designed to help analyze volatile memory in the linux kernel

ghc-skylighting

ghc-syntax-highlighter

Syntax highlighter for Haskell using the lexer of GHC

gipfel

A tasty URL shortener 🥐

goneovim-nix

gql

A Haskell EDSL for Graph Query Language

greskell

Haskell binding for Gremlin graph query language

hai

Haskell AI

halide-haskell-playground

Template Haskell project for halide-haskell

haskell-howto

A modern guide to getting started with Haskell

haskell-language-server

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

haskell-primer-slides

haskell-terminal

Haskell library for terminal interaction (without terminfo dependency but with Windows support)