There are no reviews yet. Be the first to send feedback to the community and the maintainers!
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskellauto
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/autohamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.advent-of-code-2020
🎅🌟❄️☃️🎄🎁advent-of-code-2018
Advent of Code 2018 Solutions (Spoilers!)inCode
Source for personal blog.advent-of-code-2019
Advent of Code 2019 Solutions (Spoilers!)tensor-ops
Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiationadvent-of-code-2017
Advent of Code 2017 (Warning: Spoilers)advent-of-code-2021
🎅🌟❄️☃️🎄🎁mutable
Automatic piecewise-mutable references for your typesfunctor-combinators
Combine and enhance Functorsbackprop-learn
Combinators and types for easily building trainable neural networks using the backprop libraryservant-cli
Generate a command line client from a servant APIuncertain
Manipulating numbers with inherent measurement/experimental uncertainty.setup-stack
Github action for setting up haskell stacknonempty-containers
Efficient non-empty variants of containers data types, with full APIadvent-of-code-dev
Interactive development environment and runner for Advent of Code challengesghcjs-websockets
GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)corona-charts
Ultimate interactive COVID-19 data plottertypelits-printf
Type-safe printf from parsing GHC TypeLits Symbolauto-examples
Example projects using the auto library.lens-typelevel
Type-level lenses using singletons because why notopto
Numerical optimization with support for stochastic optimization, mostly for my own experimental usageadvent-of-code-api
Haskell bindings to Advent of Code REST APIinteractive-plot
Quick interactive time series terminal plots usable in ghcihmatrix-backprop
backprop primitives for hmatrixadvent-of-code-2022
🎅🌟❄️☃️🎄🎁prompt
Monad and transformer for deferred-effect pure prompt-response queriesdecidable
Combinators for manipulating dependently-typed predicates.servant-validate
Validate well-formed servant APIs at compile timetypelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLitshakyll-dhall
Dhall compiler for Hakyllconduino
Lightweight composable continuation-based stream processorstic-tac-typed
Exploring a "type-safe" Tic-Tac-Toe in Haskellemd
Hilbert-Huang Transform (Empirical Mode Decomposition) in pure Haskellblog
Source for blog engine/static website. Haskell Web Development learning project.talks
Collection of slides, notes, and posters for public talks I've given.wavelets
wavelet decomposition in haskellbins
Aggregate continuous variables into discrete binsone-liner-instances
Default implementations for common typeclasses using one-linerlog.sh
Simple command line note/logging script for one-off notesdata-diff
Derivable diffing and patching on arbitrary data types using GHC Genericspurdle
wordle clone in purescript for funadvent-of-code-ocr
Parsing ASCII art word solutions for advent of codedhallscript
Embedded scripting language in dhallpandoc-sync
Automatic one- and two-way syncing of pandoc sources and renderstic-tac-miso
type-safe tic tac toe with Miso GUIsantabot
Source for the freenode ##adventofcode irc bot monitoring Advent of Codetype-combinators-singletons
Interop between type-combinators and singletons librarydhall-typed
Manipulate typed dhall expressionsotp-authenticator
OTP Authenticator (ala Google Authenticator) cli appcluster
Clustering algorithms for funquotiented
Quotient types in Haskell using smart constructors, associated types, and MPTCseggvisor
Finds optimal research path for a desired end goal, for the Auxbrain game Egg, Inc.tagged-binary
Provides tools for serializing data tagged with type informationauto-chatbot
Chatbot framework over the auto librarybackpack-tensor
backpack signatures and implements for tensor operationsgenerics-lift
GHC Generics for deriving numeric typeclasses, Monoid, and other similar classes.forms-applicative
playing around with free applicatives/alternatives for validated formsauto-frp
Implementation of the FRP programming model providing the ability to work with real-time semantics using tools from the auto librarycv-static
Source for static CVjlebot2
General-purpose chatbot, re-written to use the "auto" libraryneural-tests
tests and benchmarks for experimental neural networksnetwire-experiments
Experiments and learning with the Haskell FRP Library Netwiredashboard
Personal dashboard for my OSS projectsadvent-of-code-2016
Solutions for Advent of Code 2016 (Spoilers!)corona-analysis
Collection of some simple personal scripts for COVID-19 data analysisdhall-text-shell
dhall text but provide shell commands as function argumentsfunctor-products
Generalized functor products based on lifted foldablesmemotag
Memoized function application tuples with convenient lens interfaceexpr-gadt
Expression and Lambda Calc type experiments using GADTs for complete type safetytypescript-json
Type-safe bidirectional serializers to and from typescript-compatible jsonjlscript
Object-oriented, statically & duck typed, mixed-purity interpreted scripting language.connection-logger.sh
Short bash script to monitor the host server's internet connection and log latencies/disconnections to stdout.hmatrix-sized
hmatrix wrapper with GHC TypeLits-based length-encoded typesdmats
Dependently typed compiled programming language for matrix manipulationjlebot
simple irc bot in haskell, for funtraversablet
Instant monad transformers for any Traversablephys108L
Source for "Electromagnetism Physics Labs" that can be done at home with household itemsvector-algorithms-sized
vector-sized wrapper for vector-algorithmsjle-utils
Suite of general utility scripts I use to navigate lifepi-monte-carlo
Path Integral Monte Carlo simulation pet project for learning Haskellhackerrank
Hackerrank Fun (for livestream)hmatrix-vector-sized
Conversion between hmatrix and vector-sized typesaurum
Fast, lightweight, pull-based FRPEmerge
Project exploring emergent behavior in an environment governed run by natural selection and competitioncomo
Numerical analysis and algorithm platform in Haskell powered by comonads and cokleisli composition.neural
Playing with neural networks in haskell just for funbff-mono
Fork of https://bitbucket.org/kztk/bff-monodhall-cv-latex
latex output for dhall-cv projectlist-witnesses
Inductive dependently-typed witnesses for working with type-level lists.slicer
CPSC229-03-WI16-Course-Materials
Course materials (lecture slides, live code records, notes) for CPSC229-03 Functional Programming and Haskell at Chapman Universityconfigurator-export
Pretty printer and exporter for configurations from the 'configurator' librarycm-dip
Some experiments with comonads for digital image processing. Warning: pretty messy, not really intended for presentation :)Love Open Source and this site? Check out how you can help us