• Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 7 years ago
  • Updated almost 3 years ago

Reviews

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

Repository Details

Numerical optimization with support for stochastic optimization, mostly for my own experimental usage

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

advent-of-code-api

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

interactive-plot

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

hmatrix-backprop

backprop primitives for hmatrix
Haskell
13
star
27

advent-of-code-2022

πŸŽ…πŸŒŸβ„οΈβ˜ƒοΈπŸŽ„πŸŽ
Haskell
12
star
28

prompt

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

decidable

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

servant-validate

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

typelits-witnesses

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

hakyll-dhall

Dhall compiler for Hakyll
Haskell
8
star
33

conduino

Lightweight composable continuation-based stream processors
Haskell
8
star
34

tic-tac-typed

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

emd

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

blog

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

talks

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

wavelets

wavelet decomposition in haskell
Haskell
6
star
39

bins

Aggregate continuous variables into discrete bins
Haskell
6
star
40

one-liner-instances

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

get-package

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

log.sh

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

data-diff

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

purdle

wordle clone in purescript for fun
JavaScript
5
star
45

advent-of-code-ocr

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

dhallscript

Embedded scripting language in dhall
Haskell
5
star
47

pandoc-sync

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

tic-tac-miso

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

santabot

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

type-combinators-singletons

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

dhall-typed

Manipulate typed dhall expressions
Haskell
4
star
52

otp-authenticator

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

cluster

Clustering algorithms for fun
Haskell
4
star
54

quotiented

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

eggvisor

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

tagged-binary

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

auto-chatbot

Chatbot framework over the auto library
Haskell
2
star
58

backpack-tensor

backpack signatures and implements for tensor operations
Haskell
2
star
59

generics-lift

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

forms-applicative

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

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
62

cv-static

Source for static CV
Dhall
2
star
63

jlebot2

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

neural-tests

tests and benchmarks for experimental neural networks
Haskell
2
star
65

netwire-experiments

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

dashboard

Personal dashboard for my OSS projects
Dhall
2
star
67

advent-of-code-2016

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

corona-analysis

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

dhall-text-shell

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

functor-products

Generalized functor products based on lifted foldables
Haskell
2
star
71

memotag

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

expr-gadt

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

typescript-json

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

jlscript

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

connection-logger.sh

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

hmatrix-sized

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

dmats

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

jlebot

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

traversablet

Instant monad transformers for any Traversable
Haskell
1
star
80

phys108L

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

vector-algorithms-sized

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

jle-utils

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

pi-monte-carlo

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

hackerrank

Hackerrank Fun (for livestream)
Haskell
1
star
85

hmatrix-vector-sized

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

aurum

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

Emerge

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

como

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

neural

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

bff-mono

Fork of https://bitbucket.org/kztk/bff-mono
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