Discover serokell/tezos-globacap Open Source project

👾 Importi.fy — it's like Uber, but for Haskell modules.

176

importify

Build nix packages that use npm/yarn

105

nix-npm-buildpackage

NixOS tooling for Hashicorp Vault

101

vault-secrets

Various forms of Tezos software distribution for Linux and macOS.

tezos-packaging

Python

haskell-with-utf8

Get your IO right on the first try

Check cross-references in repository documents

xrefcheck

⌛ Type-safe time units in Haskell

o-clock

Nix Flake templates for various languages

nix-templates

Various functions which are used across multiple @serokell packages

serokell-util

An open source Ada wallet for users who need more

ariadne

Generate systemd units from NixOS-style descriptions

systemd-nix

Servant servers utilities

servant-util

foundry

Morte IDE

Serokell Nix infrastructure library

update-daemon

Nix Flake Update daemon

Rust

serokell.nix

An application that lets you search for anything on Hackage

hackage-search

The https://ghc.dev Website Generator

ghc.dev

Haskell course in the Higher School of Economics

hse-haskell-course-src

TeX

log-warper

Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output

NixCon 2020 talk about Nix flakes

nixcon2020-talk

Lua

time-warp

Distributed systems execution emulation

Export your Notion.so page as markdown

notion-to-markdown

Python

blog-posts

The place for submitting new articles to the Serokell blog.

Internal Services Cluster

gemini-infra

An expression to build Pandoc documents with Nix

nix-pandoc

Haskell cryptography done right

haskell-crypto

A Haskell eDSL for the TON VM Assembler

fift-asm-dsl

(WIP) Simple deploy of multi-profile systems using flakes

deploy

Shell

edna

An open-source tool for data analysis aimed to help researchers with their experiments.

avl-plus

AVL+ tree

Collection of programming style guides used in Serokell

style

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

A daemon that asynchronously copies paths to a remote store.

upload-daemon

blockchain-util

Scripts for running private Tezos blockchain

private-tezos-blockchain

Shell

qtah

Qt bindings for Haskell.

Moved to https://github.com/input-output-hk/rscoin-haskell

rscoin

mix-to-nix

Generate sandbox buildable Nix expression from Mix lock file

tzbot

Timezone bot for Slack

Continuous integration and delivery hook for Nix projects

derivery

Erlang

tztime

Safe timezone-aware handling of time

Haskell API for authenticating as a GitHub App

github-app

Toolbox for your cool project

lootbox

GitHub action for xrefcheck

xrefcheck-action

Shell

opam-nix

A handy nix library to package OCaml software from OPAM repositories

Generate sandbox buildable Nix expression from Stack file

stack-to-nix

Gaussian Process Latent Variable Models implemented in Haskell

GPLVMHaskell

Slack bot that links to YouTrack issues

hermetic

Multi-backend password store with multiple frontends

coffer

Moved to https://github.com/input-output-hk/cardano-sl/tree/master/networking

time-warp-nt

nyan-interpolation

Flexible and extensible interpolation for Haskell

An example of making a GUI app in Haskell

gui-haskell-app

pegasus-infra

Web App Cluster

Various options to configure field and constructor names in JSON

aeson-options

Moved to https://github.com/input-output-hk/iohk-ops

srk-nixpkgs

lightning-network

A Haskell interface for the Lightning Network

Set of webhook Plug middleware

cobwebhook

Fast and cheap off-chain micro-transactions for the Telegram Open Network

ton-paychan

Makefile

metatemplates

A template repo with common files used in Serokell

Makefile

haskell-algorand-sdk

A Haskell SDK for the Algorand blockchain

libc shim that proxies /nix/store FS calls to a vendored location

vendix

ton.nix

A Nix overlay for building the Telegram Open Network tools

Dismantle stack because who needs it when we have Nix and Stackage

nixage

Overlaid Nixpkgs closure for Serokell build systems

serokell-closure

Syslog implementation on top of co-log-core

co-log-sys

A tool that will tell you how well your CI pipelines exercise the files in the repository

overcight

Make sure a certain team always has admin access to all repositories in the organisation

serokell-stackage

Stackage for your Nix

HTML

github-ops-access

Generate buildable Nix expression from Rebar3 lock file

rebar3-to-nix

Erlang

junkscraper

GitHub pull request branch garbage collector

Erlang

avl-example

An example implementation of blockchain using AVL-plus

Moved to https://serokell.io

serokell.github.io

frontend-task

Description of the old test task for frontend developers

async-combinators

Async combinators

Reproduction of a bug in GHC: https://gitlab.haskell.org/ghc/ghc/-/issues/16608

weird-ghc

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

hsblst

Polling zero-arity function cache

lambda_cache

Serokell monitoring library

mon

iPXE images and configuration tools for NixOS deployments on Packet

nixos-packet

Machines and resources for the part of the StakerDAO infrastructure operated by Serokell OÜ

stakerdao-infra

HCL

zipp

Universal zipper (iterator)

a beamer theme that tries to conform to Serokell brand identity guide

beamer-theme-serokell

TeX

zeromq-haskell

Fork of the https://gitlab.com/twittner/zeromq-haskell

Macro that defines Mix.Config.config/3 compatible getters

config_macro

Nix library to run weeder on haskell projects built with haskell.nix

haskell-nix-weeder

Trac #11042 GHC bug reproduction

trac11042