Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / tanakh
Developer Profile

tanakh

Discovered public repositories for tanakh in the GitHub catalog.

↗

tanakh/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

↗

tanakh/echo

echo server/client in many ways, to examine fastest one.

↗

tanakh/CurryDB

CurryDB: Simple, Polymorphic, Persistent, Transactional, In-memory Key/Value Database

↗

tanakh/dzslides

DZSlides is a one-file HTML template to build slides in HTML5 and CSS3.

↗

tanakh/cabal

Official upstream development repository for Cabal and cabal-install

↗

tanakh/oppai

How to get oppai images <http://yusukebe.com/archives/20120229/072808.html>

↗

tanakh/twitter-conduit

Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.

↗

tanakh/criterion

This library provides a powerful but simple way to measure the performance of C++ code.

↗

tanakh/SR2

A pure Haskell implementation of codec 'SR2'.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.