Serokell (serokell)

Serokell

serokell

Geek Repo

The most bizarre company with the bravest ideas of functional programming application

Location:World

Home Page:https://serokell.io

Github PK Tool:Github PK Tool

Serokell's repositories

deploy-rs

A simple multi-profile Nix-flake deploy tool.

Language:RustLicense:NOASSERTIONStargazers:1143Issues:27Issues:150

universum

:milky_way: Prelude written in @Serokell

Language:HaskellLicense:MITStargazers:172Issues:36Issues:170

tezos-packaging

Various forms of Tezos software distribution for Linux and macOS.

Language:PythonLicense:MITStargazers:61Issues:14Issues:248

vault-secrets

NixOS tooling for Hashicorp Vault

haskell-with-utf8

Get your IO right on the first try

o-clock

:hourglass: Type-safe time units in Haskell

Language:HaskellLicense:MPL-2.0Stargazers:49Issues:23Issues:67

xrefcheck

Check cross-references in repository documents

Language:HaskellLicense:MPL-2.0Stargazers:49Issues:16Issues:129

nix-templates

Nix Flake templates for various languages

foundry

Morte IDE

hackage-search

An application that lets you search for anything on Hackage

serokell.nix

Serokell Nix infrastructure library

update-daemon

Nix Flake Update daemon

Language:RustLicense:NOASSERTIONStargazers:24Issues:5Issues:10

haskell-crypto

Haskell cryptography done right

blog-posts

The place for submitting new articles to the Serokell blog.

Language:HaskellLicense:NOASSERTIONStargazers:13Issues:4Issues:7

gemini-infra

Internal Services Cluster

tzbot

Timezone bot for Slack

Language:HaskellLicense:MPL-2.0Stargazers:7Issues:3Issues:60

hermetic

Slack bot that links to YouTrack issues

Language:ElixirLicense:AGPL-3.0Stargazers:5Issues:24Issues:0

nixpkgs

Pinned Nixpkgs tree (master follows nixos-unstable-small, only tags have stable history)

Language:NixLicense:MITStargazers:3Issues:9Issues:1

hsblst

Haskell bindings and high-level interface to BLST -- a BLS12-381 cryptography library

Language:HaskellLicense:MPL-2.0Stargazers:1Issues:5Issues:0

subspace

A fork of the simple WireGuard VPN server GUI community maintained

Language:HTMLLicense:MITStargazers:1Issues:2Issues:0

common-infra

A library with common infrastructure functions

Language:NixStargazers:0Issues:2Issues:1

customerio-client

SDK for the customer.io

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

flake-registry

Dependency pins for all of Serokell's Nix flakes

Language:MakefileStargazers:0Issues:3Issues:0

MAVSDK-Rust

MAVSDK client for Rust. https://mavsdk.mavlink.io

Language:RustStargazers:0Issues:0Issues:0

motoko

Simple high-level language for writing Internet Computer canisters

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLLicense:MPL-2.0Stargazers:0Issues:0Issues:0

ouroboros-consensus

This fork exists for https://github.com/IntersectMBO/ouroboros-consensus/pull/902

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

ssh2-config

a ssh config parser for ssh2-rs

Language:RustLicense:MITStargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:2Issues:0

tezos-packaging-stable

Mirror of the latest stable release from the tezos-packaging

Language:PythonLicense:MITStargazers:0Issues:4Issues:0