tonyxty

uBlock

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

run

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新**人的核心宗教，核心信念。

vnpy

基于Python的开源量化交易平台开发框架

HVM

A massively parallel, optimal functional runtime in Rust

nvim-lspconfig

Quickstart configs for Nvim LSP

lifeRestart

やり直すんだ。そして、次はうまくやる。

HMCL

A Minecraft Launcher which is multi-functional, cross-platform and popular

stack-overflow-import

Import arbitrary code from Stack Overflow as Python modules.

patat

Terminal-based presentations using Pandoc

dongbei

东北方言编程语言

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

rust-phf

Compile time static maps for Rust

sectorc

A C Compiler that fits in the 512 byte boot sector of an x86 machine

brick

A declarative Unix terminal UI library written in Haskell

Egregoria

3D City Builder without a grid

haskell-mode

Emacs mode for Haskell

grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

sixten

Functional programming with fewer indirections

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

neovim-session-manager

A simple wrapper around :mksession.

TouhouLittleMaid

A minecraft forge mod about the maid

mau_mau_bot

Telegram Bot that allows you to play Mau Mau (UNO) via inline queries

sixty

Dependent type checker using normalisation by evaluation

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

uplcg

Untitled PL Card Game

unification

Notes (and implementation) of unification with binders

solitaire

🃏 CLI Solitaire in Haskell using Brick

spectral-sequence

Mat

Implementation of the algorithms in the article Algorithms for matrix canonical forms.