• Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 9 years ago
  • Updated over 9 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Some experiments with comonads for digital image processing. Warning: pretty messy, not really intended for presentation :)

More Repositories

1

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell
Haskell
180
star
2

auto

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
Haskell
176
star
3

hamilton

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
Haskell
134
star
4

advent-of-code-2020

🎅🌟❄️☃️🎄🎁
Haskell
98
star
5

advent-of-code-2018

Advent of Code 2018 Solutions (Spoilers!)
Haskell
83
star
6

inCode

Source for personal blog.
Haskell
74
star
7

advent-of-code-2019

Advent of Code 2019 Solutions (Spoilers!)
Haskell
66
star
8

tensor-ops

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
Haskell
60
star
9

advent-of-code-2017

Advent of Code 2017 (Warning: Spoilers)
Haskell
49
star
10

advent-of-code-2021

🎅🌟❄️☃️🎄🎁
Haskell
43
star
11

mutable

Automatic piecewise-mutable references for your types
Haskell
42
star
12

functor-combinators

Combine and enhance Functors
Haskell
38
star
13

backprop-learn

Combinators and types for easily building trainable neural networks using the backprop library
Haskell
33
star
14

servant-cli

Generate a command line client from a servant API
Haskell
29
star
15

uncertain

Manipulating numbers with inherent measurement/experimental uncertainty.
Haskell
25
star
16

setup-stack

Github action for setting up haskell stack
JavaScript
24
star
17

nonempty-containers

Efficient non-empty variants of containers data types, with full API
Haskell
23
star
18

advent-of-code-dev

Interactive development environment and runner for Advent of Code challenges
Haskell
23
star
19

ghcjs-websockets

GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)
Haskell
22
star
20

corona-charts

Ultimate interactive COVID-19 data plotter
PureScript
21
star
21

typelits-printf

Type-safe printf from parsing GHC TypeLits Symbol
Haskell
20
star
22

auto-examples

Example projects using the auto library.
Haskell
19
star
23

lens-typelevel

Type-level lenses using singletons because why not
Haskell
15
star
24

opto

Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
Haskell
14
star
25

advent-of-code-api

Haskell bindings to Advent of Code REST API
Haskell
14
star
26

interactive-plot

Quick interactive time series terminal plots usable in ghci
Haskell
14
star
27

hmatrix-backprop

backprop primitives for hmatrix
Haskell
13
star
28

advent-of-code-2022

🎅🌟❄️☃️🎄🎁
Haskell
12
star
29

prompt

Monad and transformer for deferred-effect pure prompt-response queries
Haskell
12
star
30

decidable

Combinators for manipulating dependently-typed predicates.
Haskell
12
star
31

servant-validate

Validate well-formed servant APIs at compile time
Haskell
10
star
32

typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits
Haskell
9
star
33

hakyll-dhall

Dhall compiler for Hakyll
Haskell
8
star
34

conduino

Lightweight composable continuation-based stream processors
Haskell
8
star
35

tic-tac-typed

Exploring a "type-safe" Tic-Tac-Toe in Haskell
Haskell
8
star
36

emd

Hilbert-Huang Transform (Empirical Mode Decomposition) in pure Haskell
Haskell
7
star
37

blog

Source for blog engine/static website. Haskell Web Development learning project.
Haskell
7
star
38

talks

Collection of slides, notes, and posters for public talks I've given.
HTML
6
star
39

wavelets

wavelet decomposition in haskell
Haskell
6
star
40

bins

Aggregate continuous variables into discrete bins
Haskell
6
star
41

one-liner-instances

Default implementations for common typeclasses using one-liner
Haskell
6
star
42

get-package

Github action for installing packages from OS package managers
JavaScript
6
star
43

log.sh

Simple command line note/logging script for one-off notes
Shell
6
star
44

data-diff

Derivable diffing and patching on arbitrary data types using GHC Generics
Haskell
5
star
45

purdle

wordle clone in purescript for fun
JavaScript
5
star
46

advent-of-code-ocr

Parsing ASCII art word solutions for advent of code
Haskell
5
star
47

dhallscript

Embedded scripting language in dhall
Haskell
5
star
48

pandoc-sync

Automatic one- and two-way syncing of pandoc sources and renders
Haskell
5
star
49

tic-tac-miso

type-safe tic tac toe with Miso GUI
Haskell
4
star
50

santabot

Source for the freenode ##adventofcode irc bot monitoring Advent of Code
Haskell
4
star
51

type-combinators-singletons

Interop between type-combinators and singletons library
Haskell
4
star
52

dhall-typed

Manipulate typed dhall expressions
Haskell
4
star
53

otp-authenticator

OTP Authenticator (ala Google Authenticator) cli app
Haskell
4
star
54

cluster

Clustering algorithms for fun
Haskell
4
star
55

quotiented

Quotient types in Haskell using smart constructors, associated types, and MPTCs
Haskell
3
star
56

eggvisor

Finds optimal research path for a desired end goal, for the Auxbrain game Egg, Inc.
Haskell
3
star
57

tagged-binary

Provides tools for serializing data tagged with type information
Haskell
3
star
58

auto-chatbot

Chatbot framework over the auto library
Haskell
2
star
59

backpack-tensor

backpack signatures and implements for tensor operations
Haskell
2
star
60

generics-lift

GHC Generics for deriving numeric typeclasses, Monoid, and other similar classes.
Haskell
2
star
61

forms-applicative

playing around with free applicatives/alternatives for validated forms
Haskell
2
star
62

auto-frp

Implementation of the FRP programming model providing the ability to work with real-time semantics using tools from the auto library
Haskell
2
star
63

cv-static

Source for static CV
Dhall
2
star
64

jlebot2

General-purpose chatbot, re-written to use the "auto" library
Haskell
2
star
65

neural-tests

tests and benchmarks for experimental neural networks
Haskell
2
star
66

netwire-experiments

Experiments and learning with the Haskell FRP Library Netwire
Haskell
2
star
67

dashboard

Personal dashboard for my OSS projects
Dhall
2
star
68

advent-of-code-2016

Solutions for Advent of Code 2016 (Spoilers!)
Haskell
2
star
69

corona-analysis

Collection of some simple personal scripts for COVID-19 data analysis
Haskell
2
star
70

dhall-text-shell

dhall text but provide shell commands as function arguments
Haskell
2
star
71

functor-products

Generalized functor products based on lifted foldables
Haskell
2
star
72

memotag

Memoized function application tuples with convenient lens interface
Haskell
1
star
73

expr-gadt

Expression and Lambda Calc type experiments using GADTs for complete type safety
Haskell
1
star
74

typescript-json

Type-safe bidirectional serializers to and from typescript-compatible json
Haskell
1
star
75

jlscript

Object-oriented, statically & duck typed, mixed-purity interpreted scripting language.
Haskell
1
star
76

connection-logger.sh

Short bash script to monitor the host server's internet connection and log latencies/disconnections to stdout.
Shell
1
star
77

hmatrix-sized

hmatrix wrapper with GHC TypeLits-based length-encoded types
Haskell
1
star
78

dmats

Dependently typed compiled programming language for matrix manipulation
Haskell
1
star
79

jlebot

simple irc bot in haskell, for fun
Haskell
1
star
80

traversablet

Instant monad transformers for any Traversable
Haskell
1
star
81

phys108L

Source for "Electromagnetism Physics Labs" that can be done at home with household items
Haskell
1
star
82

vector-algorithms-sized

vector-sized wrapper for vector-algorithms
Haskell
1
star
83

jle-utils

Suite of general utility scripts I use to navigate life
Haskell
1
star
84

pi-monte-carlo

Path Integral Monte Carlo simulation pet project for learning Haskell
Haskell
1
star
85

hackerrank

Hackerrank Fun (for livestream)
Haskell
1
star
86

hmatrix-vector-sized

Conversion between hmatrix and vector-sized types
Haskell
1
star
87

aurum

Fast, lightweight, pull-based FRP
Haskell
1
star
88

Emerge

Project exploring emergent behavior in an environment governed run by natural selection and competition
Ruby
1
star
89

como

Numerical analysis and algorithm platform in Haskell powered by comonads and cokleisli composition.
Haskell
1
star
90

neural

Playing with neural networks in haskell just for fun
Haskell
1
star
91

bff-mono

Fork of https://bitbucket.org/kztk/bff-mono
Haskell
1
star
92

dhall-cv-latex

latex output for dhall-cv project
Dhall
1
star
93

list-witnesses

Inductive dependently-typed witnesses for working with type-level lists.
Haskell
1
star
94

slicer

Haskell
1
star
95

CPSC229-03-WI16-Course-Materials

Course materials (lecture slides, live code records, notes) for CPSC229-03 Functional Programming and Haskell at Chapman University
Haskell
1
star
96

configurator-export

Pretty printer and exporter for configurations from the 'configurator' library
Haskell
1
star