-
-
blackjack Public
Multiplayer Blackjack: A Compositional State Machine
-
sized-grid Public
Forked from edwardwas/sized-gridsized-grid
Haskell MIT License UpdatedDec 11, 2025 -
ferry-demo Public
A Short Proposal for a Real-Time Industrial Data Pipeline
Java UpdatedJun 25, 2025 -
strange-sandwich Public
Generate Strange Sandwich Recipes - A Full-Stack Rust Demo
Rust UpdatedMay 21, 2025 -
-
-
DiffQRCoder Public
Forked from jwliao1209/DiffQRCoder🔥 [WACV'25] Official implementation of "DiffQRCoder: Diffusion-based Aesthetic QR Code Generation with Scanning Robustness Guided Iterative Refinement"
Python UpdatedApr 13, 2025 -
threepenny-gui Public
Forked from HeinrichApfelmus/threepenny-guiGUI framework that uses the web browser as a display.
Haskell Other UpdatedMar 23, 2025 -
event-system Public
Forked from livtours/event-systemAn event system, used to decouple processes
Haskell Other UpdatedMar 3, 2025 -
-
crem Public
Forked from marcosh/cremCompositional Representable Executable Machines
Haskell MIT License UpdatedNov 29, 2024 -
-
-
-
SDL-idris Public
Forked from edwinb/SDL-idrisSDL bindings package for idris
-
-
aws-alb-ingress-controller Public
Forked from kubernetes-sigs/aws-load-balancer-controllerAWS ALB Ingress Controller for Kubernetes
Go Apache License 2.0 UpdatedSep 21, 2018 -
sbt-docker-label-schema Public
Forked from rubendg/sbt-docker-label-schemaa sbt plugin for applying label-schema labels to your Docker images
Scala MIT License UpdatedMay 16, 2018 -
iota Public
Forked from frees-io/iotaFast [co]product types with a clean syntax. For Cats & Scalaz.
Scala Apache License 2.0 UpdatedFeb 20, 2018 -
purescript-halogen Public
Forked from purescript-halogen/purescript-halogenA declarative, type-safe UI library for PureScript.
PureScript Apache License 2.0 UpdatedJun 8, 2017 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedApr 10, 2017 -
fs2-http Public
Forked from Spinoco/fs2-httpHttp Server and client using fs2
Scala MIT License UpdatedFeb 16, 2017 -
monix Public
Forked from monix/monixAsynchronous, Reactive Programming for Scala and Scala.js.
Scala Apache License 2.0 UpdatedDec 6, 2016 -
dense Public
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
-
cats Public
Forked from typelevel/catsLightweight, modular, and extensible library for functional programming.
Scala Other UpdatedSep 8, 2016 -
circe Public
Forked from circe/circeYet another JSON library for Scala
Scala Apache License 2.0 UpdatedJun 14, 2016 -
eff-cats Public
Forked from atnos-org/effEff monad for cats - http://atnos-org.github.io/eff-cats
Scala MIT License UpdatedJun 10, 2016 -
scalaz Public
Forked from scalaz/scalazAn extension to the core Scala library for functional programming.
Scala UpdatedJun 9, 2016 -
elastic4s Public
Forked from Philippus/elastic4sNon blocking, type safe DSL and Scala client for Elasticsearch
Scala Apache License 2.0 UpdatedApr 4, 2016
{{ message }}