Projects in Awesome Lists by thma
A curated list of projects in awesome lists by thma .
https://github.com/thma/ltupatternfactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 16 May 2025
https://github.com/thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 30 Apr 2025
https://github.com/thma/whyhaskellmatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes
Last synced: 05 Apr 2025
https://github.com/thma/WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes
Last synced: 30 Apr 2025
https://github.com/thma/polysemycleanarchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
algebraic algebraic-effects architecture clean-architecture domain-driven-design haskell hexagonal-architecture io-monad onion-architecture persistence-layer polysemy polysemy-effects polysemy-library ports-and-adapters servant sqlite swagger-documentation swagger-ui testability warp
Last synced: 07 May 2025
https://github.com/thma/threepennyelectron
Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell
electron gui gui-programming haskell haskell-library npm standalone-gui-application threepenny-gui
Last synced: 26 Mar 2025
https://github.com/thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref
Last synced: 22 Aug 2025
https://github.com/thma/generic-persistence
GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can be found here:
database generics haskell orm-library persistence reflection
Last synced: 26 Mar 2025
https://github.com/thma/hswiki
Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod
graphviz haskell html markdown milligram-css regex wiki wikiwiki yesod
Last synced: 26 Mar 2025
https://github.com/thma/hasbigdecimal
simple implementation of big decimals in Haskell - inspired by Java BigDecimals
Last synced: 07 Jul 2025
https://github.com/thma/dependency-checker
A tool to validate dependencies of Haskell modules
Last synced: 15 Jul 2025
https://github.com/thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
combinator-graphs combinatory-logic eval functional-language graph-reduction lambda-calculus lambda-terms lispkit parallel-reduction repl ski-combinators
Last synced: 26 Mar 2025
https://github.com/thma/commutativemonoid
Trying to prove that commutative monoids are required for a parallel foldMap (aka. map/reduce)
Last synced: 19 Jun 2025
https://github.com/thma/thma.github.io
Lambda is not a four letter word. My blog on all things haskell and FP.
equational-reasoning functional-programming haskell lambda-calculus patterns
Last synced: 26 Mar 2025
https://github.com/thma/secd
Java Implementation of SECD Machine + Lispkit Lisp Compiler
Last synced: 04 Apr 2025
https://github.com/thma/typelevelreflection
Using haskell typelevel programming to implement reflective features. This can be used to eg. implement persistence or serialization.
Last synced: 03 Jul 2025
https://github.com/thma/entityrestservice
Entity Server based on Haskell / Yesod
Last synced: 04 Apr 2025
https://github.com/thma/write-you-a-scheme
my own experiments with write yourself a scheme in 48 hours
Last synced: 04 Apr 2025
https://github.com/thma/servant-gp
writing a Rest Service with a generic-persistence backend
Last synced: 24 Jun 2025
https://github.com/thma/lambda-cat
Compiling typed lambda calculus to closed cartesian categories
Last synced: 07 Aug 2025
https://github.com/thma/taglessfinalencoding
experementing with https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html
Last synced: 17 Oct 2025
https://github.com/thma/alpinehaskell
an Alpine based docker image providing all runtime libs required by Haskell programs at runtime.
Last synced: 19 Oct 2025
https://github.com/thma/applicativeevaluator
Simple Expression evaluator meets the Applicative Functor
Last synced: 04 Apr 2025
https://github.com/thma/typeclasses
some Haskell type class musings. Basic idea: model an oo type hierarchy with type classes
Last synced: 04 Apr 2025
https://github.com/thma/generic-persistence-demo
this project contains some usage demos of the generic-persistence library
generics haskell hdbc persistence persistence-api persistence-layer
Last synced: 04 Apr 2025
https://github.com/thma/clean-architecture-with-functions
Clean Architecture in Haskell. Using higher order functions for 'dependency injection'
clean-architecture clean-code dependency-injection functional-programming haskell inversion-of-control patterns
Last synced: 13 Oct 2025
https://github.com/thma/fpvsoo
Musings on https://blog.cleancoder.com/uncle-bob/2018/04/13/FPvsOO.html
Last synced: 04 Apr 2025
https://github.com/thma/scotty-gp-service
using scotty and generic-persistence to build a database backed REST service in Haskell
Last synced: 13 Oct 2025
https://github.com/thma/loexporter
Exporting invoices and lineItems from LexOffice into CSV files
Last synced: 23 Jul 2025
https://github.com/thma/cuttingstock
classical operations research optimization problem. can ML help?
Last synced: 21 Jun 2025
https://github.com/thma/binaural-waves
generating binaural beats in Haskell
Last synced: 30 Jun 2025
https://github.com/thma/taglessfinalcleanarchitecture
Showcasing clean architecture with tagless final effects
Last synced: 12 Jun 2025
https://github.com/thma/piserver
Computation of PI with an arbitrary precision made available as an OpenFAAS service
Last synced: 04 Apr 2025
https://github.com/thma/catalyst-musings
Playing around with Chris Penners Catalyst framework
Last synced: 04 Apr 2025
https://github.com/thma/prevaylertest
playing around with the baisc ideas of the legendary prevayler project
Last synced: 04 Apr 2025
https://github.com/thma/scratchhaskell
A minimal docker image providing all runtime libs required by Haskell programs at runtime. But nothing else
Last synced: 04 Apr 2025
https://github.com/thma/monadicjava
SOme experiments with monadic programming style in Java
Last synced: 04 Apr 2025