LeviButcher

typehero

Connect, collaborate, and grow with a community of TypeScript developers

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

server-components

aura

A multilingual package manager for Arch Linux and the AUR.

markerthing

markerthing

lolcate-rs

Lolcate -- A comically fast way of indexing and querying your filesystem. Replaces locate / mlocate / updatedb. Written in Rust.

Learn-Vim

Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖

pretty-simple

pretty-printer for Haskell data types that have a Show instance

tools

Unified developer tools for JavaScript, TypeScript, and the web

zod-validation-error

Wrap zod validation errors in user-friendly readable messages

haskell-challenges

Code challenges to solve with Haskell

gui-challenges

Components from the YouTube show GUI Challenges: accessible, responsive, adaptive and cross browser components.

bottom

Yet another cross-platform graphical process/system monitor.

language-haskell

Highlighting support for the Haskell language in visual studio code.

hunter

The fastest file manager in the galaxy!

rofi

Rofi: A window switcher, application launcher and dmenu replacement

alacritty

A cross-platform, OpenGL terminal emulator.

koak

Kind Of Advanced Kaleidoscope

req

An HTTP client library

HLearn

Homomorphic machine learning

wiwinwlh

What I Wish I Knew When Learning Haskell

brick

A declarative Unix terminal UI library written in Haskell

PowerToys

Windows system utilities to maximize productivity

KelloggBot

Kellogg bad | Union good | Support strike funds

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

nvm

Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions

fairgame

Tool to help us buy hard to find items.

git-it-electron

:computer: :mortar_board: Git-it is a (Mac, Win, Linux) Desktop App for Learning Git and GitHub

rainwave

Rainwave Site and Radio Controller

quickcheck

Automated property based testing for Rust (with shrinking).