ppetr/haskell-typesafe-2-3-btrees

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
Created over 11 years ago
Updated over 11 years ago

ppetr/haskell-typesafe-2-3-btrees

ppetr

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

2-3 B-Trees with static guarantee that they're balanced.

arduino-influxdb

Simple script for reading data from Arduino's serial line and sending them to InfluxDB

jLens

Auto-generated lenses for Java beans.

openwrt-miredo

An OpenWRT package configuration for MIredo

lockfree-userspace-rcu

Lock-free RCU (Read-Copy-Update) user-space library

marray-sort

Quicksort implementation for mutable arrays (MArray) in Haskell

qr-wifi

Create a PDF leaflet with a WiFi QR code

async-await-monad

Async/await programming pattern in Haskell - synchronous interface with asynchronous implementation independent of a particular task scheduler

scala-conduit

Scala library implementing the concept of functional pipes/conduits.

freer

An implementation of "Freer Monads, More Extensible Effects"

tie-knot

"Ties the knot" on a given set of structures that reference each other by keys - replaces the keys with their respective values.

timeout-with-results

Allows timeouting a computation while allowing it to return partial results. Useful for making AI-like algorithms that should return the best result found within a time limit.

tremulous-gpp-mods

My Tremulous GPP mods.

semigroups-actions

Semigroup/monoid actions on sets

vidthumb

Simple script for creating video thumbnails

home-automation-CAN

SW and HW for an inexpensive home automation communication network based on the CAN bus

tuples-homogenous-h98

Haskell 98 wrappers for n-ary homogenous tuples providing Traversable and Applicative instances.

data-visualize

Visualize Haskell ADTs with Graphviz

disjoint-sets-st

An imperative, high-performance disjoint set data structure.

map-like

A common type class for various map-like data structures, both pure and mutable.

rpi-voip-phone

Installation and configuration scripts that turn a Raspberry Pi computer into a VoIP telephone

persistent-queue-log

Durable, persistent log / FIFO queue in Python

ordinal-list

Infinite lists indexed by ordinal numbers

functional-data-structures

Exercises according to the Okasaki's book

secure-packet-transport

Experimental simplified DTLS packet transport interface

emzaaci

recursion-attributes

Allows representing and combing attributes on recursive processing of data structures, similar to attribute grammars.