newton-migosi

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

difftastic

a structural diff that understands syntax 🟥🟩

semantic

Parsing, analyzing, and comparing source code across many languages

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

sqitch

Sensible database change management

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

haskell-mode

Emacs mode for Haskell

mercury

The Mercury logic programming system.

conduit

A streaming data library

hoogle

Haskell API search engine

fused-effects

A fast, flexible, fused effect system for Haskell

beam

A type-safe, non-TH Haskell SQL library and ORM

criterion

A powerful but simple library for measuring the performance of Haskell code.

ganeti

Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.

apecs

a fast, extensible, type driven Haskell ECS framework for games

ad

Automatic Differentiation

linear-base

Standard library for linear types in Haskell.

nix-devcontainer

Swiss army knife container for vscode development environments

haskell-scotty-realworld-example-app

Exemplary real world backend API built with Haskell/Scotty https://realworld.io

database-schema-examples

Database Schema Examples we strive to support in Prisma

dotfiles

Personal configuration files for my PC

type-of-html

High performance type safe html generation

retry

Retry combinators for monadic actions that may fail

hakyll-nix-template

Hakyll + Nix starter template

blog-resources

Extra resources for Tweag's blog posts.

deadpendency

liqwid-libs

A monorepo for Liqwid Labs plutarch libraries.

haskell-template-project

cardano-configurations

A common place for finding / maintaining configurations of various services of the Cardano eco-system

liqwid-nix

Nix tools for building Liqwid projects