vyorkin

haskbot

:construction: Haskell interpreter telegram bot. WIP.

tapl-coq

:construction: My Coq proofs for the TAPL book. WIP.

fun

A small functional language that I'm implementing while reading the Write You a Haskell book.

math-comp-notes

:construction: Repo to keep track of my notes and solutions to the Mathematical components book.

sf-ssreflect

:construction: Working through the SF using ssreflect

snake

:construction: A simple snake game. Warming up, preparing for LD. WIP.

braindump-raw

caleidoscope

:construction: Working through the LLVM kaleidoscope tutorial in OCaml. WIP.

codex

A ctags file generator for cabal/stack project dependencies.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

eeprom_programmer

Simple EEPROM programmer for my stupid experiments.

esp-open-sdk

Free and open (as much as possible) integrated SDK for ESP8266/ESP8285 chips

esp8266-examples

:construction: My esp8266 playground

ghcid

Very low feature GHCi based IDE

haleidoscope

:construction: Working through the LLVM kaleidoscope tutorial in Haskell. WIP.

hiss

:construction: :construction: :construction: A simple snake game (using Vulkan API). Warming up, preparing for LD. WIP.

insert-ordered-containers

Associative containers retating insertion order for traversals

melpa

Recipes and build machinery for the biggest Emacs package repo

monad-metrics

haskell metrics

ocaml

The core OCaml system: compilers, runtime system, base libraries

plfa

:construction: Repo to keep track of my progress working through the PLFA.

postgresql-simple-named

:question: Implementation of named parameters for `postgresql-simple` library

scilla

Scilla - A Smart Contract Intermediate Level Language

servant-swagger

Swagger for Servant

swagger2

Swagger 2.0 data model.

tagbar

Vim plugin that displays tags in a window, ordered by scope

telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.

tiger-llvm

:construction: Tiger in LLVM. WIP.

use-package-secrets

:secret keyword for use-package

vulkan

Haskell bindings for Vulkan