Skip to content
View akiradeveloper's full-sized avatar

Block or report akiradeveloper

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
8 stars written in Haskell
Clear filter

A modern proof language

Haskell 3,608 145 Updated Jan 22, 2025

The Haskell-Scriptable Editor

Haskell 1,515 203 Updated Nov 1, 2024

Haskell implementation of Magic: The Gathering

Haskell 111 22 Updated May 24, 2021

SGF (Smart Game Format) parser

Haskell 9 2 Updated Oct 4, 2024

Haskell library for parsing XDR (http://www.faqs.org/rfcs/rfc1832.html), plus code generators.

Haskell 8 6 Updated Oct 8, 2020

become a Haskell programmer.

Haskell 1 Updated Aug 9, 2011
Haskell 1 Updated Aug 31, 2014

Siritori solver in Haskell

Haskell 1 Updated Aug 14, 2011