Discover konn/equational-reasoning-in-haskell Open Source project

ad-delcont-primop

Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras

smooth

Steamer: presentation in SATySFi

satysfi-steamer

Yablog

Yet another Blog engine written in Haskell powered by yesod.

Synthetic Differential Geometry in Agda

sdg-agda

An experiment around automated theorem proving in Haskell

herbrand

Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX

vscode-generic-input-method

Pandoc filters to treat Japanese-specific markups

pandoc-japanese-filters

Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.

linear-extra

Sized sequence data-types

sized

A record of my struggling of learning Deep Learning, following the tutorial series "10 Days Of Grad: Deep Learning From The First Principles" by Bogdan Penkovsky.

category-agda

Category Theory in Agda

dl-first-principle-tutorial

Sake is a static-site generator built on top of the Shake build system.

sake

HaGi - Haskell Grass Interpreter

hagi

DEPRECATED: use `sized` package instead

sized-vector

Functors on subcategories induced by class constraints

subcategories

SKK implemented in Haskell

hskk

Haskell's newtype functionality and DerivingVia explained (Japanese talk at FIVE)

newtype-talk-five

ByteString based lightweight JSON Parser

AttoJSON

Simple Proof assistant for LK Calculus (First-Order logic)

lk-proof-assistant

Formal power series and Laurent series, cubically

laurent

My hobby implementation of dependent-type system

lambda-pi

Demo of GHCJS, Sodium and extensible-effects (a clone of 2048)

FRP2048

TODO: one-line summary of your gem

fluent-plugin-amqp

Presburger arithmetic solver for built-in type-level naturals

ghc-typelits-presburger

Well-typed, flexible and variadic printf in Haskell.

safe-printf

Additional operations for GHC's type-level symbols

ghc-typelits-symbols

rupircd

RUby Pseudo IRC Daemon

Simple Twitter client Written In HOC (Haskell Objective-C binding)

HoTwitter

Reverse Proxy / Multiplexer for UNIX Domain Socket, mainly targeted to gpg-agent

multisock

experiments for oauth support for yesod-auth

oauth-test

A simple wrapper for Data.Graph.Inductive.

graph-utils

Lazy K interpreter and scm to lazyk translator written in Haskell

LazyK

AMS-like styles for BibLaTeX

biblatex-math

TeX

Meta-Programming-in-Haskell-Example

Examples for Meta Programming in Haskell

Automaton Demo written with fay.

fay-automaton-demo

The Answer code for "The Art Of Prolog(2nd Ed)" Exercises.

TAOP-Exercises

Prolog

realisability

A hobby project to pursue a cubical formalisation of realisability

Pure ruby library to access Twitter API

rubitter

Experimenting around Accelerate to implement Neural Networks

accelerate-neural-net

Simple utility to fix broken package dependencies in ghc.

ghc-pkg-autofix

Type-class for the polymorphic data-types (e.g. dependently-typed datatypes defined by GADTs) which can be converted to/from monomorphic represetation

monomorphic

High-level interface to write GHC's type-checker plugin compatible with multiple version of GHC

checkerz

grasuby - GRASs rUBY interpreter and his firends

grasuby

An experiment around more safer (avoiding double-free or so) FFI formalisation in Linear Haskell

linear-ffi

A utility package to work comfortably with foldl package

foldl-extras

YaTeX-like completions for LaTeX in VSCode

catex

Ruby module for Quicksilver

qsrubymodule

Objective-C

yas-to-vscode

Converter from yasnippet (emacs) to vscode

Rust

BottleStory

A Simple Relay Novel Writing System

Presburger arithmetic solver using Automata Theory, in Haskell

presburger-dfa

Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness

demotion-paper

TeX

fibs

Benchmarks on various Fibonacci computation

haskell-smtp

SMTP libraries for SMTP.

Quasi-Quote-Examples

Examples for my article

Exploring build system with static and acyclic dependency graph utilising both rank-1 and indexed applicative functors

iapplicative-builder

A web frontend for gitolite

gitolist

JavaScript

generic-unification

Unification for free!

Diagnostic extension for redtt prover

vscode-redtt-diagnostics

Enhanced Docx reader for pandoc with the support for Japanese markups

pandoc-japanese-docx

Compatibility layer and type-checker plugin to treat WithDict with GHC <9.4

ghc-magic-dict-compat

QuasiQuotation for language-lua

language-lua-qq

Japanese slides for the purely comutational-algebraic solution for the general term of generalised Fibonacci sequence.

gen-fib-slides

hs-lxd

LXD API for Haskell

An attempt to formalise Beautiful Folding more polymorphically

polymorphic-foldl

Flexible access control for unsafe operations and instances

unsafely

Tutorial projects for Haskell-Cocoa development

objc-tutor

Backpack libraries for sequential data-types

backpack-seq

Private Favourite crawler for mr_konn!

konnfav

hashdbtest

th-traced

Examples for invertible syntax

invertible-syntax-examples

A simple FRP & Cocoa bindings based particle animation

objc-animated

Haskell Nostr Implementation

hastr

A mostly incomplete and unSATySFiing attemp at porting miniature subset of TikZ to SATySFi

satysfi-tikzyfi

cabal2ghci

A tool to automatically generate `.ghci` and `.stylish-haskell.yaml` file from `cabal` file.

cubical-agda-playground

HaTeX-qq

Quasiquoters for HaTeX

General KVS backend for persistent.

persistent-kvs

VM-based regular expression matching, expressed as Free constructions.

regex-vm

A simple type-classes to convert between different HTTP data types.

http-convert

A Dumb Source Plugin to use QualifiedDo-like syntax with GHC <9

ghc-qualified-do-plugin

amazon-scraper

A simple pre-processor to remove JavaScript FFI to generate Skeleton package for GHC

ghcjs-ffi-skeleton

crawl-github

diagrams-3d-animation

mecab-haskell

MeCab haskell biding

Prolog implementation by Haskell

hs-prolog

Yet another macOS's Property List XML parser in Haskell

plist-ng

examples for template haskell tutorial article for Haskell Advent Calendar 2011

template-haskell-tutor

DEPRECATED: You can just use latexmkinstead of OMake.

omaketex

Simple Regex matcher for use with foldl package

foldl-regex

Fav Recommendation system & iteratee/enumerator I/F for retrieving user timeline

favrecommend

vscode-agda-interactive

Haskell Interface for OS X Open Scripting Architecture (OSA, AppleScript)

hsosa

Tiny example combining FRP with objective-c via language-c-inline

reactive-objc

A library to use Haskell's ++ operator in Ruby.

ruby-haskell

Haskell implementation of the lightweight object system for obj-c FFI

100

objc-messaging