avatar29a Goto Github PK

azure-data-engineering

blobz

conceptual blob storage

buffstreams

A library to simplify writing applications using TCP sockets to stream protobuff messages

categorical-research

Implements ideas from Computation Category Theory

charity

Charity Programming Language

charity-lang

Charity language interpreters and literature

cncourse

Materials for Computational Neuroscience Course 2020

cockroachdb-consistency-tests

code

Source code for the book Rust in Action

codemirror

In-browser code editor

comcast

Simulating shitty network connections so you can build better systems.

cur

Powerful meta-programming for powerful types.

cxx-cmake-gl-project

basic structure for cxx with opengl under cmake build system (+ conan as package dependency manager)

deezer

Deezer API for Go

ditto

A Super Kawaii Dependently Typed Programming Language

dotnetty

DotNetty project – a port of netty, event-driven asynchronous network application framework

elm-architecture-tutorial

How to create modular Elm code that scales nicely with your app

emacs-config

my emacs config

enigma

Library for supporting Probabilistic Programming in Go

esenin

Esenin poems for learning. Windows Phone 8.1

filetype

Fast, dependency-free, small Go package to infer the binary file type based on its magic numbers signature

fstar-layer

Spacemacs layer for fstar (wrapper for fstar-mode.el)

globalsat-datalogger-dgx

GlobalSat DG-100, DG-200

go

The Go programming language

go-debug

go-debug is mode for easy go debug through Emacs.

go-mutual-tls

How to make use of mutual TLS authentication in Go

go-tcpinfo

A little wrapper to make it easier to get a socket's tcpinfo stats in go

goback

fork of deleted repository http://github.com/h2so5/goback

hemat

Homomorphic matrix computation

hlc

Hybrid Logical Clock