A lightweight, window-manager agnostic window selector for X11 with Expose/Exposé and more

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

Emacs package to get the GitHub/Bitbucket/GitLab/... URL for a buffer location

metakermit's ~/.*

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

OneDrive Client for Linux

A bibliography of papers related to symbolic execution

Monadic effects and equational reasoning in Rocq

A Coq layer for Spacemacs

A declarative Unix terminal UI library written in Haskell

Free Client for OneDrive on Linux

Various data structures for use in the Idris Language.

Toolset to capture, simulate, synthesize and verify graph models

A collaborative bibliography of work related to the theory and practice of computational effects

A Haskell library for mathematical graph parsing and writing.

being some experiments, working towards some equipment I wish I had

Another implementation of Frank.

A prototype implementation of the Frank programming language

being a slightly rethought version of the Frank implementation

A DSL for exploring processor architectures

Optimized compilers project

Simple Telegram bot just for studying and testing.

Extensible Effects: An Alternative to Monad Transformers

Шаблон выпускной работы на Мехмате ЮФУ