Pinned Repositories
free-me
My exploration of Free by implementing the data type and a small IO example
haddock-tutorial
Grokking Haddock, doctest and doctest-discover
haskell-study-dublin
Launch your own Haskell study group. Now.
miso-from-html
Generate Miso code from HTML file
nonempty
Correct by construction non-empty list
radicle
A peer-to-peer stack for code collaboration
these
These Data Type in Rust
dhall-bhat
Tasty meal of Dhall
dhall-rust
Maintainable configuration files, for Rust users
radicle-surf
A code browsing library for VCS file systems.
FintanH's Repositories
FintanH/these
These Data Type in Rust
FintanH/brain-child
An attempt to make connections between my thoughts
FintanH/fintos
NixOS setup for fintohaps
FintanH/thrussh
A git fork for https://nest.pijul.com/pijul/thrussh to specify as a WIP dependency
FintanH/-rm--rf-
FintanH/agda-categories
A new Categories library for Agda
FintanH/cargo_metadata
FintanH/clap
A full featured, fast Command Line Argument Parser for Rust
FintanH/clap-md
Generate Markdown documentation for clap application definitions
FintanH/crate2nix
nix build file generator for rust crates
FintanH/dhall-bhat
Tasty meal of Dhall
FintanH/dotfiles
All my shitty dotfiles :)
FintanH/ed25519-zebra
Zcash-flavored Ed25519 for use in Zebra.
FintanH/git-platinum
Platinum files for testing radicle-upstream
FintanH/git2-binary-check
Debugging a git2 issue
FintanH/git2-rs
libgit2 bindings for Rust
FintanH/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
FintanH/haskell-nix
Nix and Haskell in production
FintanH/ipfs-docs
📚IPFS documentation platform
FintanH/linkd-playground
Playing with the linkd node
FintanH/nixpkgs
Nix Packages collection
FintanH/plfa.github.io
An introduction to programming language theory in Agda
FintanH/radicle-bins
Collection of radicle binaries.
FintanH/radicle-client-services
Services backing the Radicle client interfaces.
FintanH/radicle-keystore
Key Management
FintanH/radicle-link
The second iteration of the Radicle code collaboration protocol.
FintanH/rs-ucan
Rust implementation of UCAN
FintanH/structopt
Parse command line arguments by defining a struct.
FintanH/sync-clap-mvp
FintanH/tswg-keri-specification
Key Event Receipt Infrastructure (KERI)