Skip to content
View solvip's full-sized avatar

Block or report solvip

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A remote cache for Bazel

Go 792 218 Updated Nov 11, 2026
TeX 13 25 Updated Oct 30, 2026

🧠 Laws, Theories, Principles and Patterns for developers and technologists.

HTML 27,351 1,567 Updated Nov 7, 2026

JWT support for Scala. Bonus extensions for Play, Play JSON, Json4s, Circe, uPickle, Spray and Argonaut

Scala 679 146 Updated Nov 10, 2026

scalaxb is an XML data binding tool for Scala.

Scala 344 160 Updated Nov 13, 2026

Resources on programming practices for safety-critical software.

Python 1,598 92 Updated Mar 11, 2025

Crashlib provides linkable functions for crashing programs written in C or C++, possibly taking the operating system down with them. It serves no known purpose. To our knowledge it is not useful in…

C 4 Updated Feb 18, 2020

A rebar plugin to specify path dependencies.

Erlang 23 11 Updated Aug 7, 2024

Manage AWS MFA Security Credentials

Python 1,064 169 Updated Aug 8, 2024

Gorgonia is a library that helps facilitate machine learning in Go.

Go 5,927 450 Updated Aug 12, 2024

Erlang grpc on chatterbox

Erlang 146 74 Updated Oct 17, 2026

Fairness regulator and rate limiter

Erlang 50 2 Updated Oct 15, 2026

ShellCheck, a static analysis tool for shell scripts

Haskell 40,336 1,975 Updated Nov 9, 2026

A Google Protobuf implementation for Erlang

Erlang 581 155 Updated May 27, 2026

A rebar3 plugin for automatically compiling .proto files using the gpb protobuf compiler

Erlang 55 36 Updated Jun 2, 2026

A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.

Erlang 977 113 Updated Nov 13, 2026

A logging framework for Erlang/OTP

Erlang 1,129 446 Updated Aug 26, 2025

Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

Go 8,461 589 Updated Nov 10, 2026

A Left-Leaning Red-Black (LLRB) implementation of balanced binary search trees for Google Go

Go 821 117 Updated Dec 7, 2022

HTTP/1.1, HTTP/2, Websocket client (and more) for Erlang/OTP.

Erlang 948 245 Updated Nov 13, 2026

Upspin: A framework for naming everyone's everything.

Go 6,404 312 Updated Jul 14, 2025

Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)

Go 5,006 371 Updated May 20, 2026

Erlang SQL constructor

Erlang 70 3 Updated Apr 26, 2017

Erlang/OTP

Erlang 12,362 3,222 Updated Nov 13, 2026

The LeoFS Storage System

Erlang 1,594 155 Updated Jan 5, 2026

go chart is a basic charting library in go.

Go 3,991 339 Updated Aug 23, 2024

IPv4 and IPv6 userland network stack

Go 3,111 277 Updated Dec 10, 2019

CFSSL: Cloudflare's PKI and TLS toolkit

Go 9,510 1,156 Updated Oct 22, 2026

Bootstrap Kubernetes the hard way. No scripts.

50,688 15,962 Updated Apr 10, 2025

A cross-platform C and C++ unit testing framework for the 21st century

C 2,314 192 Updated Oct 6, 2026
Next