gksato Goto Github PK

atcoder-haskell-resources

AtCoder 2019/7 Language Update

atob-answers

steamの大人気ゲーム「Ａ＝Ｂ」の解答をまとめておく

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cluttex

Process LaTeX documents without cluttering your working directory

dotfiles

My dotfiles

githash

Compile git revision info into Haskell projects

haskell-atcoder-server-gen

Simple Project for Automated creation of the proposal of Haskell language environment for AtCoder Language Update.

haskell-bv

Bit-vector arithmetic library for Haskell

hott

Homotopy type theory

iter-compos-unroll-repro-vector

reproduction for compile-time verified iterated composition realized via type class.

ksimaterial

計算数学I実習資料集

leaf.el

Flexible, declarative, and modern init.el package configuration

lean-math-workshop

My solutions to a set of lean exercises from a workshop on Sep 3, 2023.

primes

Wheel-reinvention of genuine sieve of Erathostenes in Haskell

sylow-thm

My note for the proof of Sylow's theorem.

test-working-copy

Repository for debugging Working Copy App.

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

vector-algorithms