d-podkorytov Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-net

agda ffi for tcp networking

agda-network

Wrapper for haskell network package.

agda-server

A TCP server wrapper for the Agda interpreter

ceph

Ceph is a distributed object, block, and file storage platform

cilium

eBPF-based Networking, Security, and Observability

clock.sh

An Simple and Portable Clock based on xterm and date command

coredns

CoreDNS is a DNS server that chains plugins

d2sqlite3

A small wrapper around SQLite for the D programming language

daemonize

Simplifies daemons and services creation for GNU/Linux and Windows

ddb

Database access for D2. Currently, only PostgreSQL client.

dip_shell

A sweet shell extension for ERLANG OTP

diserl

Simple ERLANG disassembling tool

dlogg

Logging utilities that aimed to be used in highly loaded applications

dns_erlang

Erlang DNS library

dnspipe

DNS proxy tools for hiding trafic. And not only DNS

echo_tcp_honey_spot

eide

ERLANG IDE based on WX. Simple, but enought for devlopment. Crossplatform. Only ERLANG source code. Fast navigation in filesystem.

elixir2erl

Elixir beams to Erlang source code decompiler

erl-shell

erl2

Jo Armstrong's erl2 fork

erlang-certifi

SSL Certificates for Erlang

erlang_interview

Simple tasks for interview

erldns

DNS server, in erlang.

erls

ERLANG meta script interpretator

fabric

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 use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

geoip_golang_example

MaxMind Geoip Golang Example

gg

Golang buld helper with automatic fetching all needed packagies

google-cloud-go

Google Cloud Client Libraries for Go.

hdd_speed

Simple Hard drive benchmark