• Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 10 years ago
  • Updated almost 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Isomorphisms between linear and OpenGL types

More Repositories

1

b-tree

Haskell on-disk B* tree implementation
Haskell
115
star
2

ghc-debug

Moved to Haskell.org GitLab.
Haskell
62
star
3

ghc-dump

A GHC plugin and library for analysing GHC Core
Haskell
53
star
4

bayes-stack

Framework for Gibbs sampling of probabilistic models
Haskell
49
star
5

optimization

Some numerical optimization methods implemented in Haskell
Haskell
46
star
6

dhall-gitlab-ci

A Dhall encoding of the GitLab CI configuration schema
Dhall
45
star
7

monoidal-containers

Maps using values' monoidal structure during merging
Haskell
42
star
8

hoogle-index

Easily generate Hoogle indices for installed packages
Haskell
25
star
9

ghc-utils

Utilities I find useful while working on GHC (mirror of GitLab repo)
Python
25
star
10

nanomsg-haskell

Haskell bindings to nanomsg
Haskell
25
star
11

io-uring

A simple set of io-uring bindings in Haskell
Haskell
25
star
12

nix-pkgconfig

A pkg-config wrapper exposing nixpkgs packages
Python
24
star
13

html-parse

A high-performance, reasonably robust HTML5 tokenizer
Haskell
24
star
14

the-thoralf-plugin

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Haskell
22
star
15

dts-mode

A rudimentary emacs major mode for Device Tree sources
Emacs Lisp
15
star
16

criterion-compare

A simple tool for visualising differences in Criterion benchmark results
Haskell
14
star
17

photon-tools

Python utilities for working with photon timestamp data from fluorescence spectroscopy experiments
Python
13
star
18

ring-buffer

A concurrent mutable ring-buffer
Haskell
12
star
19

linux-evdev

Deprecated in favor of the evdev package (https://hackage.haskell.org/package/evdev)
Haskell
12
star
20

open-pd

An open-hardware photodiode amplifier and optical power meter
Jupyter Notebook
11
star
21

tree-sitter-ghc-core

A tree-sitter grammar for GHC Core
JavaScript
11
star
22

play-type-search

A hack to find types in Haskell codebases
Haskell
11
star
23

gnuradio-multimode

Python
10
star
24

esp32.nix

A convenient environment for developing with the ESP-32 on NixOS
Nix
10
star
25

pandoc-lens

Lenses for the Pandoc AST
Haskell
9
star
26

warc

A Pipes-based parser for the Web Archive (WARC) format used by the Common Crawl and others
Haskell
8
star
27

cmm-mode

An Emacs mode for editing Cmm files
Emacs Lisp
8
star
28

wavelet-tree

A naive implementation of wavelet trees
Haskell
8
star
29

ghc-pretty-errors

Design planning for prettier error messages from GHC
8
star
30

infragram-js

A small client-side web application for rendering NDVI images
CSS
7
star
31

xmonad-config

My XMonad configuration
Haskell
7
star
32

wkt

Haskell parsers and types for Well-Known Text (WKT) data
Haskell
7
star
33

tf-idf

A simple implementation of Term Frequency-Inverse Document Frequency (tf-idf) in Haskell
Haskell
7
star
34

succinct.rs

Succinct data structures in Rust
Rust
6
star
35

language-openscad

Simple Haskell parser for OpenSCAD
Haskell
6
star
36

hs-usdt

A library for introducing USDT tracepoints into Haskell programs
Haskell
6
star
37

ghc-perf-import

A quick hack to import ghc-speed logs into a PostgreSQL database
Jupyter Notebook
5
star
38

squmfit

A general-purpose library for non-linear least-squares global fitting of curves.
Python
5
star
39

ghc-profiler-json

An interest
Haskell
5
star
40

ghc-users-guide

Mirror of the GHC user's guide for readthedocs.org
Python
5
star
41

cabal-ghc-dynflags

Conveniently configure GHC's dynamic flags for use with Cabal projects
Haskell
5
star
42

mediawiki-parser

Haskell pasers for MediaWiki markup
Haskell
5
star
43

pipes-interleave

Interleave and merge streams of elements
Haskell
5
star
44

tpar

A simple distributed parallel job execution engine in Haskell
Haskell
5
star
45

skeleton-geda-project

A simple gEDA project to build off of
C
5
star
46

sump

A Haskell interface to SUMP-compatible logic analyzers
Haskell
5
star
47

mersenne-random-pure64

Generate high quality pseudorandom numbers purely using a Mersenne Twister
C
5
star
48

data-logger

An autonomous data logging firmware for the MC HCK development board
C
4
star
49

git-squash

Convenient squashing from the command line
Python
4
star
50

riscv.nix

Nix expression for RISC-V
Yacc
4
star
51

arcanist-external-json-linter

An Arcanist extension for writing external linters providing JSON-serialized violation messages
PHP
4
star
52

mightex-line-ccd

Python interface for Mightex TCN-1304-U CCD line camera
Python
4
star
53

auto-push

Haskell
4
star
54

bus-pirate

A Haskell interface to the Bus Pirate binary interface
Haskell
4
star
55

pipes-vector

Proxies for streaming data into vectors
Haskell
4
star
56

tabular

A fork of the Haskell tabular package.
Haskell
4
star
57

mediawiki-annotate

Extract text and document structure from MediaWiki content
Haskell
4
star
58

cam-stream

A terrible Python hack for serving video from a V4L2 device via HTTP
Python
4
star
59

pipes-s3

A simple library for interfacing with Amazon's S3 storage service via the Haskell Pipes library
Haskell
4
star
60

kd-tree

A simple k-d tree implementation in Haskell
Haskell
3
star
61

dell-e7470-dsdt

An ACPI dump from the the Dell Latitude E7470
Haskell
3
star
62

logfloat-unboxed

Vector.Unboxed instance for logfloat package
Haskell
3
star
63

svm-light-utils

Parsers and formatters for the SVMlight input file format
Haskell
3
star
64

ps2log

A Windows filter driver for logging PS/2 bus traffic
C
3
star
65

digamma

Robust implementation of Digamma function
Haskell
3
star
66

solar-charger-v2

Another attempt at a solar powered battery charger and USB power supply
C
3
star
67

mixture-model

Various mixture models in Haskell
Haskell
3
star
68

RepHost

Host software for RepRap and other G-code driven devices
Haskell
3
star
69

packing

Packing of spheres in Haskell
Haskell
3
star
70

GGen

A G-Code generator for 3D printers
Haskell
3
star
71

writing

Source for bloggish thing
Jupyter Notebook
3
star
72

hphoton

Tools for analysis of data from single-molecule fluorescence experiments in Haskell
Haskell
3
star
73

notmuch-haskell

Haskell bindings to Notmuch mail
Haskell
3
star
74

wordnet-parse

A parser of WordNet databases
Haskell
3
star
75

icalendar

ICalendar parsing library for Haskell
Haskell
2
star
76

timezone-utils

Utilities for working with time-zone aware dates in Haskell
Haskell
2
star
77

mqtt-log

A simple program for logging MQTT events to sqlite
Haskell
2
star
78

free-var-experiments

Haskell
2
star
79

hmatrix-svdlibc

Haskell bindings for svdlibc
Haskell
2
star
80

chart-image

Image support for Chart
Haskell
2
star
81

kicad-hs

Library and tools for working with Kicad designs
Haskell
2
star
82

random-heap

Haskell
2
star
83

reprap-arm-hardware

An ARM control board for the RepRap built around the LPCXpresso development board
Shell
2
star
84

timetag-fpga

Verilog source for FPGA timetagger
Verilog
2
star
85

patience

Patience diff and longest increasing subsequence
Haskell
2
star
86

hbee

Haskell library for communicating with XBee Zigbee modules
Haskell
2
star
87

clash-multipliers

Tests of multipliers
Haskell
2
star
88

cube

Solver for Hanayama O'Gear cast puzzle
Haskell
2
star
89

tracker

Particle tracking implementation for mDAQ
C
2
star
90

max-ent

An implementation of Bryan and Skilling's maximum entropy fitting
Haskell
2
star
91

proposal-mail

Haskell
2
star
92

fingertree

Git mirror of Ross Paterson's fingertree package
Haskell
2
star
93

cosm

A library for interfacing with Cosm datastreams in Haskell
Haskell
2
star
94

reftrack

The humble beginnings of a bibliography management package
Haskell
2
star
95

tikz-factor-graph

Tikz macros for drawing factor graphs
2
star
96

riffle

A open-source sensing platform for a variety of water-quality metrics
C
2
star
97

solar-charger

A solar-powered battery charger and power supply
C
2
star
98

ftdi

An update of Roel van Dijk's ftdi library
Haskell
2
star
99

harvard-syringe-pump

User Interface and Python library for Harvard Apparatus OEM syringe pumps
Python
2
star
100

trec-car-pipeline

The TREC CAR data ingest pipeline implemented with Funflow
Haskell
2
star