Beast code in Giters

nmjr-311's starred repositories

classical sequent calculus, embedded in Haskell

Language:Haskell1900

Source material for Algebra-Driven Design

Language:Haskell13200

Companion to the Haskell in Production series

Language:HaskellBSD-3-Clause8000

An arctic, north-bluish clean and elegant Emacs theme.

Language:Emacs LispMIT48900

LaTeX: To use color emoji

Language:TeXMIT2500

A new Categories library for Agda

Language:AgdaMIT36000

iTunes,MusicBee,foobar2000で#NowPlayingするWindows向けアプリ(Twitter・Mastodon対応)

Language:C#MIT3600

Language:Kotlin275600

2-D arcade scroller

Language:HaskellGPL-2.05900

An experimental Twitter client for Android

Language:Java100

Examples of using ScalaFX

Language:Scala8800

「すごいHaskell楽しく学ぼう！」の社内勉強会のために作成した、章末ごとの演習問題集です。

Language:Haskell3700

Iikanji Prolog Interpreter

Language:HaskellNOASSERTION100