Stars
Ring, field, lra, nra, and psatz tactics for Mathematical Components
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
This project is intended to protest against the police in Japan
A statically-typed, functional typesetting system
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.
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
A type-safe, high-level SQL library for Haskell