Beast code in Giters

Dmitry Malikov's starred repositories

hyperfine

A command-line benchmarking tool

Language:RustApache-2.02045500

scrobbler

A command-line Last.fm scrobbler and a now-playing status updater.

Language:PythonGPL-3.03200

audirvana-scrobbler

Audirvana Last.fm scrobbler

Language:Shell1300

sketches

A Haskell blog

Language:Haskell12300

MEGAcmd

Command Line Interactive and Scriptable Application to access MEGA

Language:C++NOASSERTION188200

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Language:Haskell105100

Kind1

A next-gen functional language

Language:RustMIT351300

mostly-adequate-guide

Mostly adequate guide to FP (in javascript)

Language:JavaScriptNOASSERTION2324300

yabai

A tiling window manager for macOS based on binary space partitioning

Language:CMIT2202800

bandwhich

Terminal bandwidth utilization tool

Language:RustMIT891900

equational-reasoning-in-haskell

Agda-style equational reasoning in Haskell

Language:HaskellBSD-3-Clause5100

kmonad

An advanced keyboard manager

Language:HaskellMIT363100

replace-megaparsec

Stream editing with Haskell Megaparsec parsers

Language:HaskellBSD-2-Clause7900

agda-sizedIO

IO using sized types and copatterns

Language:AgdaGPL-3.03300

newtype-talk-five

Haskell's newtype functionality and DerivingVia explained (Japanese talk at FIVE)

Language:HaskellBSD-3-Clause700

thinking-with-types

Working through the Thinking with Types book in Haskell

Language:Haskell3400

pure-bash-bible

📖 A collection of pure bash alternatives to external processes.

Language:ShellMIT3607400

sturdy

Sturdy is a library for developing sound static analyses in Haskell.

Language:PascalBSD-3-Clause5800

blog

Software engineering and artificial general intelligence blog of Răzvan Flavius Panda

MIT1800

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language:HaskellBSD-3-Clause10700

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language:HaskellApache-2.097700

type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

Language:HaskellMPL-2.05500

comonads-by-example

Comonads By Example Conference talk

Language:HaskellNOASSERTION8900

waymonad

A wayland compositor based on ideas from and inspired by xmonad

Language:HaskellLGPL-2.183400

type-errors

:warning: tools for writing better type errors

Language:HaskellBSD-3-Clause7300

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixApache-2.053300

parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.

Language:HaskellBSD-3-Clause5800

exchange-rates

:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache

Language:HaskellApache-2.04100

haskell-polysemy-test

Guess-A-Number game in Haskell using Polysemy

Language:HaskellMIT2800

Axiom_of_Choice

Formalization of the Axiom of Choice and its Equivalent Theorems in Coq

Language:CoqNOASSERTION900