Daniel Firth (locallycompact)

locallycompact

Geek Repo

Home Page:https://homotopic.tech

Twitter:@locallycompact

Github PK Tool:Github PK Tool


Organizations
cardano-system
ezoic increase your site revenue

Daniel Firth's repositories

Language:NixStargazers:1Issues:0Issues:0

cardano-addresses

Addresses and mnemonic manipulation & derivations

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-base

Code used throughout the Cardano eco-system

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-prelude

A protolude-based custom prelude for the Cardano project

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

cardano-wallet

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

composite

Integrations with Vinyl/Frames records.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

composite-base

Integrations with Vinyl/Frames records (core library).

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

constraints-extras

Convenience functions and template haskell for working with constraints

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cryptonite

lowlevel set of cryptographic primitives for haskell

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

danalib

Useful library functions for various functionality at Ardana

Language:NixLicense:MITStargazers:0Issues:0Issues:0

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

fcf-containers

fcf-containers add tools that can be used with first-class-families

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

goblins

Genetic Algorithm based randomized testing

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0

inigo

Inigo: A Package Manager for Idris2

License:MITStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ouroboros-network

An implementation of the Ouroboros family of consensus algorithms, with its networking support

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

plutus

The Plutus language implementation and tools

License:Apache-2.0Stargazers:0Issues:0Issues:0

plutus-apps

The Plutus application platform

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

quickcheck-dynamic

A simple library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

quickcheck-state-machine

Test monadic programs using state machine based models

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

servant-polysemy

A Haskell library: Utilities for using servant in a polysemy stack.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

License:MITStargazers:0Issues:0Issues:0

Vinyl

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

Win32-network

Networking library for Windows

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0