FintanH

these

These Data Type in Rust

brain-child

An attempt to make connections between my thoughts

fintos

NixOS setup for fintohaps

thrussh

A git fork for https://nest.pijul.com/pijul/thrussh to specify as a WIP dependency

unison-these

A These representation in Unison

-rm--rf-

agda-categories

A new Categories library for Agda

blog

QFPL blog

cargo_metadata

clap-md

Generate Markdown documentation for clap application definitions

crate2nix

nix build file generator for rust crates

dhall-bhat

Tasty meal of Dhall

dotfiles

All my shitty dotfiles :)

ed25519-zebra

Zcash-flavored Ed25519 for use in Zebra.

git-platinum

Platinum files for testing radicle-upstream

git2-binary-check

Debugging a git2 issue

git2-rs

libgit2 bindings for Rust

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

haskell-nix

Nix and Haskell in production

ipfs-docs

📚IPFS documentation platform

linkd-playground

Playing with the linkd node

nixpkgs

Nix Packages collection

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

plfa.github.io

An introduction to programming language theory in Agda

radicle-bins

Collection of radicle binaries.

radicle-client-services

Services backing the Radicle client interfaces.

radicle-keystore

Key Management

radicle-link

The second iteration of the Radicle code collaboration protocol.

recursion-schemes-cookbook

A friendly guide for leveraging the power of recursion schemes in real-world applications

structopt

Parse command line arguments by defining a struct.