Discover mstksg/typelits-witnesses Open Source project

Stars
9
Rank 1,939,727 (Top 39 %)
Language
Haskell
License
MIT License
Created almost 9 years ago
Updated about 1 year ago

mstksg

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

Existential witnesses, singletons, and classes for operations on GHC TypeLits

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

Haskell

180

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

hamilton

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!)

Haskell

inCode

Source for personal blog.

Haskell

advent-of-code-2019

Advent of Code 2019 Solutions (Spoilers!)

Haskell

tensor-ops

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

Haskell

advent-of-code-2017

Advent of Code 2017 (Warning: Spoilers)

Haskell

advent-of-code-2021

🎅🌟❄️☃️🎄🎁

Haskell

mutable

Automatic piecewise-mutable references for your types

Haskell

functor-combinators

Combine and enhance Functors

Haskell

backprop-learn

Combinators and types for easily building trainable neural networks using the backprop library

Haskell

servant-cli

Generate a command line client from a servant API

Haskell

uncertain

Manipulating numbers with inherent measurement/experimental uncertainty.

Haskell

setup-stack

Github action for setting up haskell stack

JavaScript

nonempty-containers

Efficient non-empty variants of containers data types, with full API

Haskell

advent-of-code-dev

Interactive development environment and runner for Advent of Code challenges

Haskell

ghcjs-websockets

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

Haskell

corona-charts

Ultimate interactive COVID-19 data plotter

PureScript

typelits-printf

Type-safe printf from parsing GHC TypeLits Symbol

Haskell

auto-examples

Example projects using the auto library.

Haskell

lens-typelevel

Type-level lenses using singletons because why not

Haskell

opto

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

Haskell

advent-of-code-api

Haskell bindings to Advent of Code REST API

Haskell

interactive-plot

Quick interactive time series terminal plots usable in ghci

Haskell

hmatrix-backprop

backprop primitives for hmatrix

Haskell

advent-of-code-2022

🎅🌟❄️☃️🎄🎁

Haskell

prompt

Monad and transformer for deferred-effect pure prompt-response queries

Haskell

decidable

Combinators for manipulating dependently-typed predicates.

Haskell

servant-validate

Validate well-formed servant APIs at compile time

Haskell

hakyll-dhall

Dhall compiler for Hakyll

Haskell

conduino

Lightweight composable continuation-based stream processors

Haskell

tic-tac-typed

Exploring a "type-safe" Tic-Tac-Toe in Haskell

Haskell

emd

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

Haskell

blog

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

Haskell

talks

Collection of slides, notes, and posters for public talks I've given.

HTML

wavelets

wavelet decomposition in haskell

Haskell

bins

Aggregate continuous variables into discrete bins

Haskell

one-liner-instances

Default implementations for common typeclasses using one-liner

Haskell

get-package

Github action for installing packages from OS package managers

JavaScript

log.sh

Simple command line note/logging script for one-off notes

Shell

data-diff

Derivable diffing and patching on arbitrary data types using GHC Generics

Haskell

purdle

wordle clone in purescript for fun

JavaScript

advent-of-code-ocr

Parsing ASCII art word solutions for advent of code

Haskell

dhallscript

Embedded scripting language in dhall

Haskell

pandoc-sync

Automatic one- and two-way syncing of pandoc sources and renders

Haskell

tic-tac-miso

type-safe tic tac toe with Miso GUI

Haskell

santabot

Source for the freenode ##adventofcode irc bot monitoring Advent of Code

Haskell

type-combinators-singletons

Interop between type-combinators and singletons library

Haskell

dhall-typed

Manipulate typed dhall expressions

Haskell

otp-authenticator

OTP Authenticator (ala Google Authenticator) cli app

Haskell

cluster

Clustering algorithms for fun

Haskell

quotiented

Quotient types in Haskell using smart constructors, associated types, and MPTCs

Haskell

eggvisor

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

Haskell

tagged-binary

Provides tools for serializing data tagged with type information

Haskell

auto-chatbot

Chatbot framework over the auto library

Haskell

backpack-tensor

backpack signatures and implements for tensor operations

Haskell

generics-lift

GHC Generics for deriving numeric typeclasses, Monoid, and other similar classes.

Haskell

forms-applicative

playing around with free applicatives/alternatives for validated forms

Haskell

auto-frp

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

Haskell

cv-static

Source for static CV

Dhall

jlebot2

General-purpose chatbot, re-written to use the "auto" library

Haskell

neural-tests

tests and benchmarks for experimental neural networks

Haskell

netwire-experiments

Experiments and learning with the Haskell FRP Library Netwire

Haskell

dashboard

Personal dashboard for my OSS projects

Dhall

advent-of-code-2016

Solutions for Advent of Code 2016 (Spoilers!)

Haskell

corona-analysis

Collection of some simple personal scripts for COVID-19 data analysis

Haskell

dhall-text-shell

dhall text but provide shell commands as function arguments

Haskell

functor-products

Generalized functor products based on lifted foldables

Haskell

memotag

Memoized function application tuples with convenient lens interface

Haskell

expr-gadt

Expression and Lambda Calc type experiments using GADTs for complete type safety

Haskell

typescript-json

Type-safe bidirectional serializers to and from typescript-compatible json

Haskell

jlscript

Object-oriented, statically & duck typed, mixed-purity interpreted scripting language.

Haskell

connection-logger.sh

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

Shell

hmatrix-sized

hmatrix wrapper with GHC TypeLits-based length-encoded types

Haskell

dmats

Dependently typed compiled programming language for matrix manipulation

Haskell

jlebot

simple irc bot in haskell, for fun

Haskell

traversablet

Instant monad transformers for any Traversable

Haskell

phys108L

Source for "Electromagnetism Physics Labs" that can be done at home with household items

Haskell

vector-algorithms-sized

vector-sized wrapper for vector-algorithms

Haskell

jle-utils

Suite of general utility scripts I use to navigate life

Haskell

pi-monte-carlo

Path Integral Monte Carlo simulation pet project for learning Haskell

Haskell

hackerrank

Hackerrank Fun (for livestream)

Haskell

hmatrix-vector-sized

Conversion between hmatrix and vector-sized types

Haskell

aurum

Fast, lightweight, pull-based FRP

Haskell

Emerge

Project exploring emergent behavior in an environment governed run by natural selection and competition

Ruby

como

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

Haskell

neural

Playing with neural networks in haskell just for fun

Haskell

bff-mono

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

Haskell

dhall-cv-latex

latex output for dhall-cv project

Dhall

list-witnesses

Inductive dependently-typed witnesses for working with type-level lists.

Haskell

slicer

Haskell

CPSC229-03-WI16-Course-Materials

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

Haskell

configurator-export

Pretty printer and exporter for configurations from the 'configurator' library

Haskell

cm-dip

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

Haskell

mstksg/typelits-witnesses

mstksg

Reviews

Repository Details

More Repositories