Discover @Gabriella439 Open Source projects

Gabriella Gonzalez (@Gabriella439)

Gabriella439

Stars
10,320
Global Rank 2,105 (Top 0.08 %)
Followers 2,030
Following 14
Registered almost 13 years ago
Most used languages

Haskell
85.7 %

Nix
5.2 %

Dhall 3.9 %

HCL 2.6 %

Markdown 1.3 %

JavaScript
1.3 %
Location 🇺🇸 United States
Country Total Rank 1,024
Country Ranking

Dhall 2

Nix
4

Haskell
6

HCL 28

Markdown 30

JavaScript
3,445

post-rfc

Blog post previews in need of peer review

haskell-nix

Nix and Haskell in production

turtle

Shell programming, Haskell style

bench

Command-line benchmark tool

simple-twitter

A bare-bones Twitter clone implemented in a single file

pipes

Compositional pipelines

nixos-in-production

Source files for the book "NixOS in Production"

grace

A ready-to-fork interpreted functional language with type inference

Haskell-Morte-Library

A bare-bones calculus-of-constructions

nix-diff

Explain why two Nix derivations differ

slides

Slides from talks that I give

optparse-generic

Auto-generate a command-line parser for your datatype

Haskell-Typed-Spreadsheet-Library

Typed and composable spreadsheets

foldl

Composable, streaming, and efficient left folds

terraform-nixos-ng

Terraform modules for NixOS and spiritual successor to the terraform-nixos project

Haskell-Annah-Library

Distributed programming language that desugars to Morte

Haskell-Lens-Tutorial-Library

The missing tutorial module for the lens library

macos-builder

Bootstrap a Linux build VM on macOS

haskell-in-the-large

A book about large-scale design in Haskell

Haskell-Errors-Library

Type-safe error handling

Haskell-MVC-Library

Model-view-controller

list-transformer

List monad transformer

HasCal

Haskell embedding of PlusCal

nixfmt

Automatic code formatter for the Nix programming language

managed

A monad for managed values

Haskell-MMorph-Library

Monad morphisms

dhall-manual

The Dhall Configuration Language Manual

pipes-concurrency

Concurrency for the pipes ecosystem

Purescript-to-Python

A compiler from Purescript to Python

dhall-dot

Dhall support for the DOT language for graphviz

suns-search

Fast all-atom protein structural search engine

Haskell-Nix-Derivation-Library

Parse and render *.drv files

servant-crud

Example CRUD web server+client using Servant

Haskell-Total-Library

Exhaustive pattern matching using lenses, traversals, and prisms

Haskell-Server-Generic-Library

Auto-generate a server for your datatype

Haskell-Pipes-Parse-Library

Parsing for the pipes ecosystem

Haskell-Pipes-Safe-Library

Safety for the pipes ecosystem

Haskell-Bears-Library

Relational algebra

Haskell-Succinct-Vector-Library

Succinct vectors

graph

Dhall support for directed graphs with labeled vertices

spire

Algorithmically solve Slay the Spire

Haskell-Pipes-HTTP-Library

HTTP client with pipes interface

Haskell-Optional-Args-Library

Optional function arguments

defaultable-map

Applicative maps

Haskell-Pipes-ByteString-Library

ByteString support for pipes

dhall-semver

Dhall support for semantic version numbers

dhall-kubernetes-charts

This repository is superseded by https://github.com/EarnestResearch/dhall-packages

Haskell-Index-Core-Library

Haskell-Pipes-Extras-Library

Miscellaneous utilities for pipes

composable-path

Typed paths that are composable

political-notes

Haskell-MVC-Updates-Library

Concurrent and combinable updates

Haskell-Event-Source-Library

Event sourcing library

Haskell-RCPL-Library

Concurrent console input and output

sig

Blazing fast signature detection

Haskell-Break-Library

Break from a loop

ghcjs-demo

Example GHCJS demo

Haskell-Nordom-Library

A variation on Morte that is close to the machine (obsoleted in favor of Dhall)

Haskell-Dhall-Edit-Library

Autogenerate a curses editor for a Dhall configuration file

Haskell-MVC-Updates-Examples-Library

Examples for the mvc-updates library

Haskell-DirStream-Library

Easily stream directory contents in constant memory

Haskell-Free-Monads-Library

pipes-web

Deploy pipes over the web

Haskell-Transformers-Free-Library

Free monad transformers

suns-cmd

Command line client for the Suns search engine

tiktoken

pipes-platform

The full ecosystem of pipes libraries

pipes-group

Group streams into substreams

delta-lambda

test language for an automath style type system

holepunch

NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection

Haskell-Pipes-Foldl-Library

Folding utilities for pipes

Haskell-Crunch-Library

Fast serialization and deserialization

Haskell-Aurora-Library

Haskell-Aurora-Library

pipes-ecosystem

testing the pipes suite of libraries

Haskell-Record-Library

Command line utility to record command environments and output

pipes-process

Shell support for pipes

Haskell-Pipes-Handle-Library

Model traditional handles using pipes

twill

Twilio API interaction for Haskell

min-standalone

Minimal reproducing case for standalone-haddock issue

emitter

haskell pipes example

code-kata-439