Discover mikeizbicki/ConstraintKinds Open Source project

open source software construction course

1,607

ucr-cs100

C++

483

subhask

Type safe interface for working in subcategories of Hask

GHC plugin that improves Haskell code's numerical stability

413

HerbiePlugin

constraint level if statements

191

ifcxt

CMC's Data Structures and Algorithms Course Materials

110

cmc-csci046

Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

typeparams

big data course materials

cmc-csci143

hidden markov models in haskell

cmc-csci040

Computing for the Web

HTML

hmm

cmc-csci145-math166

Data Mining

A collection of publicly available datasets

datasets

Scilab

simd

simple interface to ghc's simd vector support

a course management system (similar to ilearn) based on git

gitlearn

Shell

parsed

a haskellified version of the classic sed unix tool

Constructs FAlgebras from typeclasses, making Haskell functions homoiconic

homoiconic

deep-tda

deep learning course materials

typespeed

cmc-csci181-deeplearning

Arbitrary size tuples in Haskell

vector-heterogenous

primary and secondary sources documenting America's misdeads

american-shit

geolocation

Image/text geolocation with tensorflow and the MvMF

modulus-magnus-linguae

vectors supporting lazy fmap application; asymptotically faster in some cases

vector-functorlazy

metahtml

chajda

wiktionary_bli

cmc-csci181-languages

HTML

twitter_coronavirus

a simple webserver built with bash commands

rapache

pagila-hw3

lab-timeit2

lambda-server

pagila-hw2

binary_search

korean

wardial

easy creation of rollup tables in postgresql (compute count(*) queries in constant time)

lab-goodreads

multiskipgram

mediabiasfactcheck

fake-news

novichenko

twitter_postgres2

word_ladder

2023spring-FinTechPracticum

pgrollup

NovichenkoBot

2021fintech

sorting

2020summer

search_engine

Classification

histogram

A Haskell package for easily creating histograms

dominion

Outline of material for an intro to haskell course

haskell-lecture

pagila-midterm

PLpgSQL

cmc-advising

containers

glowing-wookie

twitter_postgres