Stasenko-Konstantin
Follow
Starred repositories
High performance, concurrent functional programming abstractions
Experimental implementation of Cubical Type Theory
A demo implementation of a simple dependently-typed language
The Durable Task Framework is a lightweight, embeddable engine for writing durable, fault-tolerant business logic (orchestrations) as ordinary code.
Package gorilla/mux is a powerful HTTP router and URL matcher for building Go web servers with 🦍
Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.
Simulating shitty network connections so you can build better systems.
The devs are over here at devzat, chat over SSH!
Read-only mirror of https://gitlab.gnome.org/GNOME/gimp
The world’s fastest framework for building websites.
Delve is a debugger for the Go programming language.
babygo👶 is a small Go compiler made from scratch, which can compile itself. It's going to be the smallest and simplest go compiler in the world.
An implementation of the higher-order supercompilation algorithm as described in the paper "On the Termination of Higher-Order Positive Supercompilation"
Dependently Typed Lambda Calculus in Haskell
A friendly programming language from the future
💥💻💥 A data-parallel functional programming language
Little bot to scan server status, with integration to telegram.
Web server writed on haskell using Servant library.
Fast, efficient, and scalable distributed map/reduce system, DAG execution, in memory or on disk, written in pure Go, runs standalone or distributedly.
A compiler for a functional programming language including many features
A strongly-typed language that compiles to JavaScript
