avatar29A
I like music, programming languages and studying. My passion it's beautiful and elegant a conception in programming languages, so I like Haskell and CL.
mellody.aiAlmaty
Pinned Repositories
GlobalSat-DataLogger-DGX
GlobalSat DG-100, DG-200
go-debug
go-debug is mode for easy go debug through Emacs.
go-tcpinfo
A little wrapper to make it easier to get a socket's tcpinfo stats in go
hlc
Hybrid Logical Clock
hs-aitubots-api
Aitu Bot API for Haskell
k290-fnkeyctl
Configures the behaviour of the F-keys on the Logitech K290
lambdacube
Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed
Last.fm
Implementation last.fm on C# language
MusicBrainz
Implementation MusicBrainz API 2.0 (C#)
redasher
F# library for Redash API
avatar29A's Repositories
avatar29A/MusicBrainz
Implementation MusicBrainz API 2.0 (C#)
avatar29A/Last.fm
Implementation last.fm on C# language
avatar29A/hs-aitubots-api
Aitu Bot API for Haskell
avatar29A/redasher
F# library for Redash API
avatar29A/hlc
Hybrid Logical Clock
avatar29A/lambdacube
Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed
avatar29A/qltl-pnf
Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics
avatar29A/azure-data-engineering
avatar29A/cncourse
Materials for Computational Neuroscience Course 2020
avatar29A/code
Source code for the book Rust in Action
avatar29A/comcast
Simulating shitty network connections so you can build better systems.
avatar29A/cxx-cmake-gl-project
basic structure for cxx with opengl under cmake build system (+ conan as package dependency manager)
avatar29A/enigma
Library for supporting Probabilistic Programming in Go
avatar29A/filetype
Fast, dependency-free, small Go package to infer the binary file type based on its magic numbers signature
avatar29A/git-miner
avatar29A/goback
fork of deleted repository http://github.com/h2so5/goback
avatar29A/ial
The Iowa Agda Library
avatar29A/insight
Tooling which helps to extract insight for engineering managers from different sources like as jira, git, code and so on.
avatar29A/invest-api-go-sdk
avatar29A/jocko
Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)
avatar29A/lgordey.github.io
AstanaJS
avatar29A/midgarts
:national_park: Multi-platform Ragnarök Online MMORPG client
avatar29A/pglogrepl
PostgreSQL logical replication library for Go.
avatar29A/pyAitu
Python SDK for Aitu Bot-Api
avatar29A/rathena
rAthena is an open-source cross-platform MMORPG server.
avatar29A/sdk-go
Go SDK for CloudEvents
avatar29A/SDL2_Basic_Setup
A basic setup of SDL2 ( in my case for OSX Mojave and Catalina ) that initialises and demos SDL2, SDL2 Mixer, SDL2 Image, and SDL2 TTF
avatar29A/utfcpp
UTF-8 with C++ in a Portable Way
avatar29A/uuid
Go package for UUIDs based on RFC 4122 and DCE 1.1: Authentication and Security Services.
avatar29A/yandex-music-api
Неофициальная библиотека для работы с API сервиса Яндекс.Музыка