ppetr Goto Github PK

accelerate-llvm

LLVM backend for Accelerate

ansible-collections_community.general

Ansible Community General Collection

arduino-influxdb

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

arithmoi

arithmoi is currently maintained here

arrow

🏹 Better dates & times for Python

async-await-monad

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

audio-to-opus

binenv

One binary to rule them all. Manage all those pesky binaries (kubectl, helm, terraform, ...) easily.

cabal

Official upstream development repository for Cabal and cabal-install

cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

data-visualize

Visualize Haskell ADTs with Graphviz

data.stream

Coprogramming with infinite lists

ddupdate

Update DNS Data for Dynamic IP Addresses

delayed-scheduler

Time-ordered C++ priority queue that manages ordering and emitting elements (callbacks) at their scheduled times

disjoint-sets-st

An imperative, high-performance disjoint set data structure.

either

the EitherT monad transformer

emzaaci

finger-b-tree

Efficient, general purpose finger B-trees for C++

freer

An implementation of "Freer Monads, More Extensible Effects"

functional-data-structures

Exercises according to the Okasaki's book

goodwe2influxdb

Collect data from a GoodWe inverter to InfluxDB

gpx-conduit

A conduit interface to parse GPX files

graph-invariant

Research prototype for computing graph invariants

hashable

A class for types that can be converted to a hash value

haskell-typesafe-2-3-btrees

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

home-automation-can

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

hw-opto-counter

Universal infrared proximity sensor/counter of events

jlens

Auto-generated lenses for Java beans.

learning-myself-rust

The code here isn't probably very useful to anybody else.

least-squares-electric-voting

(Possibly novel) electoral system that orders candidates by assigning each one a potential in such a way that it minimizes the sum of squares of differences of each voter’s intent.