Pinned Repositories
emacs.d
My Emacs config
haskbot
:construction: Haskell interpreter telegram bot. WIP.
mr-steal-yo-crypto-ctf-foundry
CTF challenges for mrstealyocrypto.xyz - Foundry Version (WIP)
nixos-config
My NixOS configuration
okasaki-ocaml
My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in OCaml).
ormolu.el
A formatter for Haskell source code
purescript-dialogs
Picks from #purescript channel in functionalprogramming slack
purescript-unicode-prelude
Unicode alternatives for common functions and operators. Use wisely.
tiger
:construction: A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
vyorkin's Repositories
vyorkin/haskbot
:construction: Haskell interpreter telegram bot. WIP.
vyorkin/tapl-coq
:construction: My Coq proofs for the TAPL book. WIP.
vyorkin/fun
A small functional language that I'm implementing while reading the Write You a Haskell book.
vyorkin/math-comp-notes
:construction: Repo to keep track of my notes and solutions to the Mathematical components book.
vyorkin/sf-ssreflect
:construction: Working through the SF using ssreflect
vyorkin/snake
:construction: A simple snake game. Warming up, preparing for LD. WIP.
vyorkin/braindump-raw
vyorkin/caleidoscope
:construction: Working through the LLVM kaleidoscope tutorial in OCaml. WIP.
vyorkin/codex
A ctags file generator for cabal/stack project dependencies.
vyorkin/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.
vyorkin/eeprom_programmer
Simple EEPROM programmer for my stupid experiments.
vyorkin/esp-open-sdk
Free and open (as much as possible) integrated SDK for ESP8266/ESP8285 chips
vyorkin/esp8266-examples
:construction: My esp8266 playground
vyorkin/ghcid
Very low feature GHCi based IDE
vyorkin/haleidoscope
:construction: Working through the LLVM kaleidoscope tutorial in Haskell. WIP.
vyorkin/hiss
:construction: :construction: :construction: A simple snake game (using Vulkan API). Warming up, preparing for LD. WIP.
vyorkin/insert-ordered-containers
Associative containers retating insertion order for traversals
vyorkin/melpa
Recipes and build machinery for the biggest Emacs package repo
vyorkin/monad-metrics
haskell metrics
vyorkin/ocaml
The core OCaml system: compilers, runtime system, base libraries
vyorkin/plfa
:construction: Repo to keep track of my progress working through the PLFA.
vyorkin/postgresql-simple-named
:question: Implementation of named parameters for `postgresql-simple` library
vyorkin/scilla
Scilla - A Smart Contract Intermediate Level Language
vyorkin/servant-swagger
Swagger for Servant
vyorkin/swagger2
Swagger 2.0 data model.
vyorkin/tagbar
Vim plugin that displays tags in a window, ordered by scope
vyorkin/telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
vyorkin/tiger-llvm
:construction: Tiger in LLVM. WIP.
vyorkin/use-package-secrets
:secret keyword for use-package
vyorkin/vulkan
Haskell bindings for Vulkan