Projects in Awesome Lists by konn
A curated list of projects in awesome lists by konn .
https://github.com/konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
algorithm computational-algebra groebner-basis haskell ideal math mathematics polynomial
Last synced: 07 Apr 2025
https://github.com/konn/equational-reasoning-in-haskell
Agda-style equational reasoning in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/type-natural
Type-level well-kinded natural numbers.
dependent-types ghc haskell proof-assistant type-level type-level-programming
Last synced: 05 Apr 2025
https://github.com/konn/smooth
Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
Last synced: 11 Apr 2025
https://github.com/konn/ghc-wasm-earthly
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
Last synced: 23 Mar 2025
https://github.com/konn/linear-extra
Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
Last synced: 11 Apr 2025
https://github.com/konn/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
input-method latex math symbols unicode vscode vscode-extension
Last synced: 11 Apr 2025
https://github.com/konn/sized
Sized sequence data-types
containers dependent-types ghc haskell type-level-programming
Last synced: 22 Mar 2025
https://github.com/konn/pandoc-japanese-filters
Pandoc filters to treat Japanese-specific markups
Last synced: 11 Apr 2025
https://github.com/konn/herbrand
An experiment around automated theorem proving in Haskell
Last synced: 11 Apr 2025
https://github.com/konn/lambda-pi
My hobby implementation of dependent-type system
Last synced: 11 Apr 2025
https://github.com/konn/subcategories
Functors on subcategories induced by class constraints
Last synced: 22 Mar 2025
https://github.com/konn/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.
Last synced: 11 Apr 2025
https://github.com/konn/newtype-talk-five
Haskell's newtype functionality and DerivingVia explained (Japanese talk at FIVE)
Last synced: 11 Apr 2025
https://github.com/konn/sake
Sake is a static-site generator built on top of the Shake build system.
Last synced: 11 Apr 2025
https://github.com/konn/lk-proof-assistant
Simple Proof assistant for LK Calculus (First-Order logic)
Last synced: 11 Apr 2025
https://github.com/konn/safe-printf
Well-typed, flexible and variadic printf in Haskell.
Last synced: 11 Apr 2025
https://github.com/konn/laurent
Formal power series and Laurent series, cubically
Last synced: 17 Mar 2025
https://github.com/konn/ghc-typelits-symbols
Additional operations for GHC's type-level symbols
ghc haskell symbols type-level-programming
Last synced: 11 Apr 2025
https://github.com/konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
compiler-plugin dependent-types ghc ghc-plugin haskell presburger-arithmetic-solver solver type-level-programming
Last synced: 17 Mar 2025
https://github.com/konn/frp2048
Demo of GHCJS, Sodium and extensible-effects (a clone of 2048)
Last synced: 11 Apr 2025
https://github.com/konn/hotwitter
Simple Twitter client Written In HOC (Haskell Objective-C binding)
Last synced: 17 Mar 2025
https://github.com/konn/taop-exercises
The Answer code for "The Art Of Prolog(2nd Ed)" Exercises.
Last synced: 18 Feb 2025
https://github.com/konn/multisock
Reverse Proxy / Multiplexer for UNIX Domain Socket, mainly targeted to gpg-agent
Last synced: 11 Apr 2025
https://github.com/konn/accelerate-neural-net
Experimenting around Accelerate to implement Neural Networks
Last synced: 11 Apr 2025
https://github.com/konn/graph-utils
A simple wrapper for Data.Graph.Inductive.
Last synced: 11 Apr 2025
https://github.com/konn/realisability
A hobby project to pursue a cubical formalisation of realisability
Last synced: 17 Mar 2025
https://github.com/konn/fay-automaton-demo
Automaton Demo written with fay.
Last synced: 17 Mar 2025
https://github.com/konn/oauth-test
experiments for oauth support for yesod-auth
Last synced: 17 Mar 2025
https://github.com/konn/meta-programming-in-haskell-example
Examples for Meta Programming in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/presburger-dfa
Presburger arithmetic solver using Automata Theory, in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/checkerz
High-level interface to write GHC's type-checker plugin compatible with multiple version of GHC
Last synced: 17 Mar 2025
https://github.com/konn/linear-ffi
An experiment around more safer (avoiding double-free or so) FFI formalisation in Linear Haskell
Last synced: 17 Mar 2025
https://github.com/konn/grasuby
grasuby - GRASs rUBY interpreter and his firends
Last synced: 17 Mar 2025
https://github.com/konn/pandoc-japanese-docx
Enhanced Docx reader for pandoc with the support for Japanese markups
Last synced: 17 Mar 2025
https://github.com/konn/ghc-magic-dict-compat
Compatibility layer and type-checker plugin to treat WithDict with GHC <9.4
Last synced: 11 Apr 2025
https://github.com/konn/foldl-extras
A utility package to work comfortably with foldl package
Last synced: 17 Mar 2025
https://github.com/konn/iapplicative-builder
Exploring build system with static and acyclic dependency graph utilising both rank-1 and indexed applicative functors
Last synced: 17 Mar 2025
https://github.com/konn/ghcjs-ffi-skeleton
A simple pre-processor to remove JavaScript FFI to generate Skeleton package for GHC
Last synced: 17 Mar 2025
https://github.com/konn/unsafely
Flexible access control for unsafe operations and instances
Last synced: 23 Nov 2024
https://github.com/konn/regex-vm
VM-based regular expression matching, expressed as Free constructions.
Last synced: 17 Mar 2025
https://github.com/konn/polymorphic-foldl
An attempt to formalise Beautiful Folding more polymorphically
Last synced: 17 Mar 2025
https://github.com/konn/plist-ng
Yet another macOS's Property List XML parser in Haskell
Last synced: 17 Mar 2025
https://github.com/konn/gen-fib-slides
Japanese slides for the purely comutational-algebraic solution for the general term of generalised Fibonacci sequence.
Last synced: 17 Mar 2025
https://github.com/konn/ruby-haskell
A library to use Haskell's ++ operator in Ruby.
Last synced: 17 Mar 2025
https://github.com/konn/template-haskell-tutor
examples for template haskell tutorial article for Haskell Advent Calendar 2011
Last synced: 17 Mar 2025
https://github.com/konn/reactive-objc
Tiny example combining FRP with objective-c via language-c-inline
Last synced: 17 Mar 2025
https://github.com/konn/satysfi-tikzyfi
A mostly incomplete and unSATySFiing attemp at porting miniature subset of TikZ to SATySFi
Last synced: 17 Mar 2025
https://github.com/konn/objc-tutor
Tutorial projects for Haskell-Cocoa development
Last synced: 17 Mar 2025
https://github.com/konn/objc-animated
A simple FRP & Cocoa bindings based particle animation
Last synced: 17 Mar 2025
https://github.com/konn/invertible-syntax-examples
Examples for invertible syntax
Last synced: 17 Mar 2025
https://github.com/konn/http-convert
A simple type-classes to convert between different HTTP data types.
Last synced: 17 Mar 2025
https://github.com/konn/ghc-qualified-do-plugin
A Dumb Source Plugin to use QualifiedDo-like syntax with GHC <9
Last synced: 17 Mar 2025
https://github.com/konn/foldl-regex
Simple Regex matcher for use with foldl package
Last synced: 17 Mar 2025
https://github.com/konn/favrecommend
Fav Recommendation system & iteratee/enumerator I/F for retrieving user timeline
Last synced: 17 Mar 2025
https://github.com/konn/cabal2ghci
A tool to automatically generate `.ghci` and `.stylish-haskell.yaml` file from `cabal` file.
Last synced: 17 Mar 2025
https://github.com/konn/backpack-seq
Backpack libraries for sequential data-types
Last synced: 17 Mar 2025
https://github.com/konn/dirwatch-app
Watching directory and notify changes to OS X Notification Center
Last synced: 17 Mar 2025
https://github.com/konn/grimoire-stm-support
プログラミングの魔導書 vol. 3 「Real World STM 〜実例で学ぶ STM〜」のサンプル・サポートページです。
Last synced: 17 Mar 2025
https://github.com/konn/backpack-typenats
Typenaturals and backpack in haskell
Last synced: 17 Mar 2025
https://github.com/konn/cocoa-notify
Haskell Bridge for Notification Center in OS X
Last synced: 17 Mar 2025
https://github.com/konn/hint-forked
(Temporary fork from darcshub until the change is merged and released on Hackage)
Last synced: 17 Mar 2025
https://github.com/konn/skell
Personal experiment for tiny self-hosting language
Last synced: 17 Mar 2025
https://github.com/konn/yapan
Yet another attempt to a universal document converter
Last synced: 17 Mar 2025