Projects in Awesome Lists by konn
A curated list of projects in awesome lists by konn .
https://github.com/konn/polyfunctor
An attempt to generalize Functors or Bifunctors to n-ary funtors.
Last synced: 17 Mar 2025
https://github.com/konn/texchached
an attempt to cache MathJax Result server-side
Last synced: 17 Mar 2025
https://github.com/konn/hls-eval-internal-libs
Minimal repro for Eval plugin regression incorporating internal libraries
Last synced: 17 Mar 2025
https://github.com/konn/algebra-extras
Implementation of Algorithms described in "Modern Computer Algebra"
Last synced: 17 Mar 2025
https://github.com/konn/spelling-cocoa
CLI to check grammar by Cocoa API, written in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/cabal-scaffold
Scaffolding Tool for Cabal-based project with Stackage Snapshots
Last synced: 11 Apr 2025
https://github.com/konn/inline-c-objc
Objective-C Marshalers and Contexts for inline-c
Last synced: 17 Mar 2025
https://github.com/konn/regex-applicative-foldl
A brdige package for foldl and regex-applicative package
Last synced: 17 Mar 2025
https://github.com/konn/random-eff
A simple random number generator for extensible effects
Last synced: 17 Mar 2025
https://github.com/konn/objc-messaging
Haskell implementation of the lightweight object system for obj-c FFI
Last synced: 17 Mar 2025
https://github.com/konn/soundbooth
A really really simple sound cueing system with (hopefully) web frontend
Last synced: 17 Mar 2025
https://github.com/konn/latex-crossref
Flexible Haskell Library to simulate Cross-reference in LaTeX
Last synced: 17 Mar 2025
https://github.com/konn/haskari
A simple Akari (美術館) solver written in Haskell (with some heuristics + Ersatz)
Last synced: 17 Mar 2025
https://github.com/konn/objcth
Haskell Objective-C FFI and TemplateHaskell went wrong...
Last synced: 17 Mar 2025
https://github.com/konn/offscripter
EDSL to generate "safe" NScript source codes
Last synced: 17 Mar 2025
https://github.com/konn/refresht
Environment Monad with automatic resource refreshment
environment-monad haskell monad
Last synced: 17 Mar 2025
https://github.com/konn/hevernote
Unofficial Evernote API bridge for Haskell
Last synced: 17 Mar 2025
https://github.com/konn/factorials
Fast factorial functions implemented in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/mathchrome
Chrome extension to render maths by MathJax instead of mimetex or Google Chart.
Last synced: 17 Mar 2025
https://github.com/konn/compact-rpc-experiment
An experiment around compact regions to use with RPC
Last synced: 17 Mar 2025
https://github.com/konn/hls-cabal-monorepo-multihome-recomp-repro
Multiple component HLS won't recompile on cabal change
Last synced: 17 Mar 2025
https://github.com/konn/linear-dollar-segv-ghci
A minimal example to make GHCi with LienarTypes, but not GHC-compiled exe
Last synced: 17 Mar 2025
https://github.com/konn/lambda-prolog-sandpit
Personal sandpit (playground) for Lambda Prolog (λProlog)
Last synced: 17 Mar 2025
https://github.com/konn/hls-eval-multimods
A minimal repro for HLS eval plugin's bug with multiple local modules
Last synced: 17 Mar 2025
https://github.com/konn/hls-repro
Minimal reproducing example for issue #70
Last synced: 17 Mar 2025
https://github.com/konn/type-natural-overloaded
Interface between type-natural and overloaded packages
Last synced: 17 Mar 2025
https://github.com/konn/discord-uploader
deploy files to Discord, keeping track messages
Last synced: 17 Mar 2025
https://github.com/konn/konn.github.io
My GitHub Pages. DO NOT SEND PULL REQUEST as this works perfectly on my environment.
Last synced: 17 Mar 2025
https://github.com/konn/solovay-model-algd
アルゴドゥーチャンネルで「任意の実数の集合が可測」になるSolovayモデルについて話した時の資料です
Last synced: 20 Feb 2025
https://github.com/konn/dynamic-gha-dhall-poc
An experiment to generate GHA workflow dynamically
Last synced: 17 Mar 2025
https://github.com/konn/groebner-rs
Polynomials and Groebner basis computation for Rust
Last synced: 17 Mar 2025
https://github.com/konn/path-tagged
A thin wrapper around `path` ecosystem, augmenting the target entity
Last synced: 17 Mar 2025
https://github.com/konn/shortener
A simple URL shortener backed by Cloudflare Workers, written in Haskell
Last synced: 20 Feb 2025
https://github.com/konn/regex-derivative
Exploring Applicative interface for Generalised Regular Expression based on Brzozowski Derivative
Last synced: 17 Mar 2025
https://github.com/konn/atom-latex-shape-completion
YaTeX-like latex completion for Atom
Last synced: 17 Mar 2025
https://github.com/konn/playlambda
Play your own/favourite games with your friends, while styaing at home
haskell reflex stay-home stayathome web webapp
Last synced: 17 Mar 2025
https://github.com/konn/realisability-note
My old manuscript of survey on classical realisability
Last synced: 17 Mar 2025