Pinned Repositories
guardian
guardian - the border guardian for your Haskell monorepo package dependencies
ad-delcont-primop
computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
equational-reasoning-in-haskell
Agda-style equational reasoning in Haskell
ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
satysfi-steamer
Steamer: presentation in SATySFi
sized
Sized sequence data-types
smooth
Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
type-natural
Type-level well-kinded natural numbers.
Yablog
Yet another Blog engine written in Haskell powered by yesod.
konn's Repositories
konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
konn/equational-reasoning-in-haskell
Agda-style equational reasoning in Haskell
konn/type-natural
Type-level well-kinded natural numbers.
konn/herbrand
An experiment around automated theorem proving in Haskell
konn/sized
Sized sequence data-types
konn/linear-extra
Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
konn/subcategories
Functors on subcategories induced by class constraints
konn/sake
Sake is a static-site generator built on top of the Shake build system.
konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
konn/lambda-pi
My hobby implementation of dependent-type system
konn/multisock
Reverse Proxy / Multiplexer for UNIX Domain Socket, mainly targeted to gpg-agent
konn/ghc-magic-dict-compat
Compatibility layer and type-checker plugin to treat WithDict with GHC <9.4
konn/ghc-wasm-earthly
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
konn/raytracing
"Ray Tracing in One Weekend" in Haskell
konn/cabal-scaffold
Scaffolding Tool for Cabal-based project with Stackage Snapshots
konn/cdcl-sat-solvers-slides
konn/konn.github.io
My GitHub Pages. DO NOT SEND PULL REQUEST as this works perfectly on my environment.
konn/soundbooth
A really really simple sound cueing system with (hopefully) web frontend
konn/2024-forcing-seminar-notes
konn/aeson
A fast Haskell JSON library
konn/cabal-gild
:crown: Format Haskell package descriptions.
konn/discord-uploader
deploy files to Discord, keeping track messages
konn/falsify
konn/hls-cabal-monorepo-multihome-recomp-repro
Multiple component HLS won't recompile on cabal change
konn/hls-multihome-modname
konn/HsYAML
YAML 1.2 implementation in pure Haskell
konn/linear-base
Standard library for linear types in Haskell.
konn/linear-dollar-segv-ghci
A minimal example to make GHCi with LienarTypes, but not GHC-compiled exe
konn/path-tagged
A thin wrapper around `path` ecosystem, augmenting the target entity
konn/stackage
"Stable Hackage": vetted consistent packages from Hackage