shrykewindgrace Goto Github PK

aoc23-kotlin

arquebuse

Numerical experiments for one interesting probabilistic problem.

blsc

businesscard-x

This is a template for creating business cards in with XeLaTeX (available in all TeX distributions). The style follows (mostly) the guidelines of visual style of Ecole Polytechnique.

chgk-fb2-to-epub

This script provides basic functionality for converting fb2 files from db.chgk.info to epub format

chgkcards

Создание заготовки карточек ответов для турниров ЧГК средствами LaTeX.

choco-hledger

Pack hledger for chocolatey package manager

chocolatey-test-environment

A testing setup related to how the Chocolatey Package Verifier runs testing. Used for manual testing or prior to submission

cmls-beamer-theme

This is a beamer theme for CMLS, Ecole Polytechnique

co-log

📓 Composable contravariant combinatorial comonadic configurable convenient logging component

colonnade

Generic types and functions for encoding and decoding columns

converter_4s_to_html

cord

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

detectint

Check that a type has an Int inside its AST

elm-binary-base64

Base64 encoding/decoding for binary values in Elm

elm-street

:deciduous_tree: Crossing the road between Haskell and Elm

elm2nix

Convert Elm project into Nix expressions

english-international-postfix-keyboard-layout

Латиница с диакритическими знаками в постфиксной нотации

envfile

EnvFile 3.x is a plugin for JetBrains IDEs that allows you to set environment variables for your run configurations from one or multiple files.

fdm

Some random thoughts on Fermi-Dirac distributions

floskell

Floskell is a flexible Haskell source code pretty printer.

fp-course

Functional Programming Course

gitui

Blazing 💥 fast terminal-ui for git written in rust 🦀

gjk

NaÏve implementation of the GJK algorithm

haskell-lsp-client

haskelltoys

herms

:stew::fork_and_knife: A command-line manager for delicious kitchen recipes

hledger

easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger

hledger-directive-exploration