bollu Goto Github PK

hackage-server

The new Hackage server aka "Hackage 2"

haikus

detect haikus

halfred

Bollu studies partial evaluation

halide

a language for image processing and computational photography

hask-error-messages-catalog

A catalog of broken Haskell programs to improve error messages

hask-lisp-interp

Lisp interpreter in Haskell

haskell-microbenchmarks

A collection of microbenchmarks to observe GHC's compilation strategy against that of C

haskell-tutorial

Files for a haskell tutorial I'm teaching at IIIIT-Hyderabad

hellos

"hello world" x86 kernel example

helm

Helm - a free polyphonic synth with lots of modulation

hitchhicker-prolog

Javascript porting of Paul Tarau latest Prolog Engine architecture

hlx_examples

Open Source HLx Examples

hoare-toy

A tiny toy formalization of Hoare logic for IMP with a proof of soundness

homebrew

The missing package manager for OS X.

hoopl

Higher-order optimization library

hs-stockfighter

Haskell bindings to Stockfighter using Servant

hs-to-coq

Convert Haskell source code to Coq source code

hsc2hs

Pre-processor for .hsc files

hugs

A copy of the hugs haskell98 implementation; hoping to eliminate bitrot

human-analysis-lab-matrix-problem

Solution to the human analysis lab joining problem: http://hal.cse.msu.edu/misc/join/

hyperfunctions

playing with hyperfunctions

idrisextstgcodegen

ihaskell

A Haskell kernel for IPython.

iiit-h-code

code written for assignments and whatnot at IIIT-H

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

immix

Pluggable implementation of Immix garbage collector.

infertense

Infer types for tensor expressions in Python. Never see an ArgumentError again for numpy/tf/keras/torch

inkstained-vim

An experimental color scheme for Vim.

insta20210601