Something to test libcap whenever it is updated.

Displays Timezone differences with localtime in CLI (shell script)

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Happy Haskell Programming

Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

minigo🐥is a small Go compiler made from scratch. It can compile itself.

Linux and Mac OS support for the CorsairLink Devices

🔗 Some useful websites for programmers.

FUSE filesystem over Google Drive

haskell's tribial test code

This project is intended to protest against the police in Japan

Algorithms

Compiler for Neural Network hardware accelerators

A statically-typed, functional typesetting system

Chez Scheme

Inspection Testing for Haskell

Certified Programming with Dependent Types (Japanese Translation)

Randomized Property-Based Testing Plugin for Coq

Cryptographic currency implementing Ouroboros PoS protocol

Tech companies in Japan that hire remote workers.

The LLVM LHC Haskell Optimization System

Using haskell-relational-record with Yesod.

Simple lenses, minimum dependencies

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

Regex-based parsing with an applicative interface

Test your Haskell code by exhaustively checking its properties