dmalkr Goto Github PK

beam

A type-safe, non-TH Haskell SQL library and ORM

clickhouse

ClickHouse® is a free analytics DBMS for big data

course

Functional Programming Course

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

dydx-v3-python

Python client for dYdX (API v3)

dzen

Dzen is a general purpose messaging, notification and menuing program for X11.

erc

Experiment Release Cycle repository

fhe-toolkit-linux

IBM Fully Homomorphic Encryption Toolkit For Linux. This toolkit is a Linux based Docker container that demonstrates computing on encrypted data without decrypting it! The toolkit ships with two demos including a fully encrypted Machine Learning inference with a Neural Network and a Privacy-Preserving key-value search.

flex-sdk-example

graphql-client

Typed, correct GraphQL requests and responses in Rust

haskell-exercises

haskell-fun

A short scripts and programs

haskell-opencv

Haskell binding to OpenCV-3.x

haskell-src

Library for manipulating Haskell source code

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

hdevtools

Persistent GHC-powered background server for FAST haskell development tools

homplexity

Haskell code complexity and quality measurement

htf

Haskell Test Framework

jupyterhub-deploy-docker

Reference deployment of JupyterHub with docker

lets-lens

Course material for lens

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

neomru.vim

MRU plugin includes unite.vim/denite.nvim MRU sources

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

pugixml-hs

pugixml binding for haskell.

regex-base

Github port for regex-base

regex-posix

The posix regex backend for regex-base

sbv-program

toodledo-python

Python wrapper for Toodledo tasks via the v3 api

tune

Tools for tidy parameter tuning

vim-workspace

📑 Automated Vim session management and file auto-save