Skip to content
View sormeter's full-sized avatar

Block or report sormeter

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Per-project isolated set of dev tools

Shell 40 5 Updated Apr 17, 2022

The Clarity Reference

149 35 Updated May 10, 2024

easily build most Haskell programs into fully static Linux executables

Nix 389 35 Updated Jun 30, 2024

Haskell Protobuf Implementation

Haskell 81 56 Updated Sep 23, 2024

Corda Tokens SDK

Kotlin 79 76 Updated Sep 27, 2024

Generate nix expressions for Haskell projects

Nix 99 32 Updated Jul 12, 2021

Haskell source code suggestions

Haskell 1,471 196 Updated Oct 30, 2024

Haskell rules for Bazel.

Starlark 266 80 Updated Oct 30, 2024

Stable Haskell package sets: vetted consistent packages from Hackage

Dockerfile 530 805 Updated Oct 31, 2024

The Pact Smart Contract Language

Haskell 581 99 Updated Oct 29, 2024

A Ruby gem to cache and verify the licenses of dependencies

Ruby 981 122 Updated Oct 28, 2024

The GHC API, decoupled from GHC versions

Haskell 161 9 Updated Oct 28, 2024

Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart con…

Kotlin 3,991 1,077 Updated Oct 31, 2024

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry u…

Go 15,724 8,852 Updated Oct 30, 2024

A permissioned implementation of Ethereum supporting data privacy

Go 4,683 1,292 Updated Jul 30, 2024