Discover @konn Open Source projects

Hiromi Ishii (@konn)

konn

Stars
668
Global Rank 44,754 (Top 2 %)
Followers 199
Following 53
Registered about 16 years ago
Most used languages

Haskell
84.2 %

Ruby
3.4 %

Agda 2.7 %

TypeScript
2.7 %

TeX
2.1 %

JavaScript
1.4 %

HTML
1.4 %

Others 2.1 %
Location 🇯🇵 Japan
Country Total Rank 1,061
Country Ranking

Agda 2

Haskell
9

Prolog
10

HTML
110

TeX
122

Objective-C
689

Ruby
858

Rust
978

TypeScript
1,072

JavaScript
4,519

computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

equational-reasoning-in-haskell

Agda-style equational reasoning in Haskell

type-natural

Type-level well-kinded natural numbers.

ad-delcont-primop

smooth

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

satysfi-steamer

Steamer: presentation in SATySFi

Yablog

Yet another Blog engine written in Haskell powered by yesod.

sdg-agda

Synthetic Differential Geometry in Agda

herbrand

An experiment around automated theorem proving in Haskell

vscode-generic-input-method

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

pandoc-japanese-filters

Pandoc filters to treat Japanese-specific markups

sized

Sized sequence data-types

category-agda

Category Theory in Agda

linear-extra

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

subcategories

Functors on subcategories induced by class constraints

dl-first-principle-tutorial

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.

sized-vector

DEPRECATED: use `sized` package instead

sake

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

ghc-wasm-earthly

GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly

hagi

HaGi - Haskell Grass Interpreter

hskk

SKK implemented in Haskell

newtype-talk-five

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

AttoJSON

ByteString based lightweight JSON Parser

lk-proof-assistant

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

lambda-pi

My hobby implementation of dependent-type system

fluent-plugin-amqp

TODO: one-line summary of your gem

safe-printf

Well-typed, flexible and variadic printf in Haskell.

ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

laurent

Formal power series and Laurent series, cubically

ghc-typelits-symbols

Additional operations for GHC's type-level symbols

FRP2048

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

rupircd

RUby Pseudo IRC Daemon

HoTwitter

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

multisock

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

accelerate-neural-net

Experimenting around Accelerate to implement Neural Networks

graph-utils

A simple wrapper for Data.Graph.Inductive.

oauth-test

experiments for oauth support for yesod-auth

rubitter

Pure ruby library to access Twitter API

LazyK

Lazy K interpreter and scm to lazyk translator written in Haskell

biblatex-math

AMS-like styles for BibLaTeX

Meta-Programming-in-Haskell-Example

Examples for Meta Programming in Haskell

fay-automaton-demo

Automaton Demo written with fay.

realisability

A hobby project to pursue a cubical formalisation of realisability

TAOP-Exercises

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

ghc-pkg-autofix

Simple utility to fix broken package dependencies in ghc.

monomorphic

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

checkerz

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

grasuby

grasuby - GRASs rUBY interpreter and his firends

linear-ffi

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

foldl-extras

A utility package to work comfortably with foldl package

catex

YaTeX-like completions for LaTeX in VSCode

qsrubymodule

Ruby module for Quicksilver

BottleStory

A Simple Relay Novel Writing System

presburger-dfa

Presburger arithmetic solver using Automata Theory, in Haskell

demotion-paper

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

yas-to-vscode

Converter from yasnippet (emacs) to vscode

fibs

Benchmarks on various Fibonacci computation

haskell-smtp

SMTP libraries for SMTP.

Quasi-Quote-Examples

Examples for my article

gitolist

A web frontend for gitolite

generic-unification

Unification for free!

vscode-redtt-diagnostics

Diagnostic extension for redtt prover

pandoc-japanese-docx

Enhanced Docx reader for pandoc with the support for Japanese markups

ghc-magic-dict-compat

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

hsosa

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

iapplicative-builder

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

language-lua-qq

QuasiQuotation for language-lua

gen-fib-slides

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

hs-lxd

LXD API for Haskell

polymorphic-foldl

An attempt to formalise Beautiful Folding more polymorphically

unsafely

Flexible access control for unsafe operations and instances

ghcjs-ffi-skeleton

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

objc-tutor

Tutorial projects for Haskell-Cocoa development

backpack-seq

Backpack libraries for sequential data-types

konnfav

Private Favourite crawler for mr_konn!

hashdbtest

th-traced

invertible-syntax-examples

Examples for invertible syntax

objc-animated

A simple FRP & Cocoa bindings based particle animation

cabal2ghci

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

hastr

Haskell Nostr Implementation

raytracing

"Ray Tracing in One Weekend" in Haskell

cubical-agda-playground

HaTeX-qq

Quasiquoters for HaTeX

persistent-kvs

General KVS backend for persistent.

regex-vm

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

http-convert

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

ghc-qualified-do-plugin

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

amazon-scraper

crawl-github

diagrams-3d-animation

mecab-haskell

MeCab haskell biding

hs-prolog

Prolog implementation by Haskell

template-haskell-tutor

examples for template haskell tutorial article for Haskell Advent Calendar 2011

omaketex

DEPRECATED: You can just use latexmkinstead of OMake.

foldl-regex

Simple Regex matcher for use with foldl package

plist-ng

Yet another macOS's Property List XML parser in Haskell

satysfi-tikzyfi

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

favrecommend

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

vscode-agda-interactive