notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

一个简单的保存命令行配置与运行命令行的GUI应用

An open-source, customizable intermediate logic textbook

documentation for KC tools/etc

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

Bot that comments Petrosian pasta

Hey! Hey! Can u rel8?

Counterexamples in Type Systems

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

Painless 2D vector graphics, animations and simulations.

Lean Theorem Prover

This minimalistic extension disables "Scroll to Text Fragment" feature in Google search results

TsunDB data submission plugin for Poi

This is a fork of https://github.com/tweag/ormolu.

Comparing many FRP implementations by reimplementing the same toy app in each.

A fast, flexible, fused effect system for Haskell

♊ higher-order, no-boilerplate monads

spaceships in space

Local caching proxy for KanColle

Source code to all the tutorials on emulator101.com

A better way to configure and manage kernels on Gentoo Linux

Logo in JavaScript

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

Haskell 101 and 102: slides and codelabs

Resources for learning and using recursion schemes.

Haskell library for 2D hexagon calculations

haskell source code formatter

A platform for your browser-gaming needs