• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 8 years ago
  • Updated almost 5 years ago

Reviews

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

Repository Details

Fork of https://bitbucket.org/kztk/bff-mono

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

dhall-cv-latex

latex output for dhall-cv project
Dhall
1
star
92

list-witnesses

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

slicer

Haskell
1
star
94

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
95

configurator-export

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

cm-dip

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