harveywi Goto Github PK

arpack-js

ARPACK ported to JavaScript. Seriously!

ayla-geometry-core

Common algorithms related to computational geometry and topological landscapes

ayla-visual-analytics

bend-a-roni

Scala implementation of "As-Rigid-As-Possible Shape Manipulation and Shape Flattening"

blog

Some notes on things I find interesting and important.

bsort

Extremely fast inplace radix sort

harveywi.github.io

idris-jvm

JVM bytecode backend for Idris

monad-presentation

moto

A library that allows you to easily mock out tests based on AWS infrastructure.

reeb-graph

A Haskell implementation of a deterministic O(n * log(n))-time algorithm for computing Reeb graphs of Morse functions defined on arbitrary simplicial complexes.

sbt-frege

An sbt plugin for building Frege code

scalaz-viz

A high-performance, purely-functional, composable plotting library

shapeless

Generic programming for Scala

shapeless-builder

Scala case class builder design pattern using Miles Sabin's shapeless library

shapeless-commandline

Scala command line arguments parser using shapeless and scalaz

shapeless-serialization

Scala case class serialization using Miles Sabin's shapeless library

spark

Mirror of Apache Spark

succinct-string-self-index

A pure functional succinct string self-index written in Scala

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

zio-cli

Rapidly build powerful command-line applications powered by ZIO

zio-flow

Resilient, distributed applications powered by ZIO

zio-nio

A small, unopinionated ZIO interface to NIO.

zio-schema

Compositional, type-safe schema definitions, which enable auto-derivation of codecs and migrations.

ziverge-hack-day-dec-2021

Ziverge Hack Day (December 2021)