msakai

haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

ersatz-toysat

toysat driver as backend for ersatz

satchmo-toysat

toysat driver as backend for satchmo

sign

Arithmetic over signs and sets of signs

7-Zip

7-Zip source code repository

ad-delcont

Reverse-mode automatic differentiation with delimited continuations

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

courseragalois

Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)

cudd-ersatz

Interface to CUDD in the style of Ersatz

Detours

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

dwsim

DWSIM - Chemical Process Simulator for Desktop (6.x series)

ersatz

A monad for interfacing with external SAT solvers

haskell-foreign-library-example

haskell-l-bfgs-b

Mirror of Haskell bindings to L-BFGS-B

hlbfgsb

Mirror of http://people.ksp.sk/~ivan/hlbfgsb

homebrew-tap

icfpc2022

ICFP 2022 Programming Contest

icfpc2023

IHaskell

A Haskell kernel for IPython.

kevin-kaixu.github.io

lbfgs-hs

Haskell binding for liblbfgs

learn-aws-by-coding

コードで学ぶAWS入門

liblbfgs

libLBFGS: a library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS)

mingw-w64-liblbfgsb

L-BFGS-B package for MINGW environments

msakai

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

optuna-dashboard

Real-time Web Dashboard for Optuna.

satchmo

SAT encoder

tasty-th

Automatically generate tasty test groups from functions in a module using TH

zip

Efficient library for manipulating zip archives