Discover bgamari/the-thoralf-plugin Open Source project

Stars
22
Rank 1,048,934 (Top 21 %)
Language
Haskell
License
MIT License
Created over 6 years ago
Updated almost 3 years ago

bgamari

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

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

b-tree

Haskell on-disk B* tree implementation

Haskell

115

ghc-debug

Moved to Haskell.org GitLab.

Haskell

ghc-dump

A GHC plugin and library for analysing GHC Core

Haskell

bayes-stack

Framework for Gibbs sampling of probabilistic models

Haskell

optimization

Some numerical optimization methods implemented in Haskell

Haskell

dhall-gitlab-ci

A Dhall encoding of the GitLab CI configuration schema

Dhall

monoidal-containers

Maps using values' monoidal structure during merging

Haskell

hoogle-index

Easily generate Hoogle indices for installed packages

Haskell

ghc-utils

Utilities I find useful while working on GHC (mirror of GitLab repo)

Python

nanomsg-haskell

Haskell bindings to nanomsg

Haskell

io-uring

A simple set of io-uring bindings in Haskell

Haskell

nix-pkgconfig

A pkg-config wrapper exposing nixpkgs packages

Python

html-parse

A high-performance, reasonably robust HTML5 tokenizer

Haskell

dts-mode

A rudimentary emacs major mode for Device Tree sources

Emacs Lisp

criterion-compare

A simple tool for visualising differences in Criterion benchmark results

Haskell

photon-tools

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

Python

ring-buffer

A concurrent mutable ring-buffer

Haskell

linux-evdev

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

Haskell

open-pd

An open-hardware photodiode amplifier and optical power meter

Jupyter Notebook

tree-sitter-ghc-core

A tree-sitter grammar for GHC Core

JavaScript

play-type-search

A hack to find types in Haskell codebases

Haskell

gnuradio-multimode

Python

esp32.nix

A convenient environment for developing with the ESP-32 on NixOS

Nix

pandoc-lens

Lenses for the Pandoc AST

Haskell

warc

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

Haskell

cmm-mode

An Emacs mode for editing Cmm files

Emacs Lisp

wavelet-tree

A naive implementation of wavelet trees

Haskell

ghc-pretty-errors

Design planning for prettier error messages from GHC

infragram-js

A small client-side web application for rendering NDVI images

CSS

xmonad-config

My XMonad configuration

Haskell

wkt

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

Haskell

tf-idf

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

Haskell

succinct.rs

Succinct data structures in Rust

Rust

language-openscad

Simple Haskell parser for OpenSCAD

Haskell

hs-usdt

A library for introducing USDT tracepoints into Haskell programs

Haskell

ghc-perf-import

A quick hack to import ghc-speed logs into a PostgreSQL database

Jupyter Notebook

squmfit

A general-purpose library for non-linear least-squares global fitting of curves.

Python

ghc-profiler-json

An interest

Haskell

skeleton-geda-project

A simple gEDA project to build off of

ghc-users-guide

Mirror of the GHC user's guide for readthedocs.org

Python

cabal-ghc-dynflags

Conveniently configure GHC's dynamic flags for use with Cabal projects

Haskell

mediawiki-parser

Haskell pasers for MediaWiki markup

Haskell

pipes-interleave

Interleave and merge streams of elements

Haskell

tpar

A simple distributed parallel job execution engine in Haskell

Haskell

sump

A Haskell interface to SUMP-compatible logic analyzers

Haskell

mersenne-random-pure64

Generate high quality pseudorandom numbers purely using a Mersenne Twister

data-logger

An autonomous data logging firmware for the MC HCK development board

git-squash

Convenient squashing from the command line

Python

riscv.nix

Nix expression for RISC-V

Yacc

arcanist-external-json-linter

An Arcanist extension for writing external linters providing JSON-serialized violation messages

PHP

mightex-line-ccd

Python interface for Mightex TCN-1304-U CCD line camera

Python

auto-push

Haskell

pipes-vector

Proxies for streaming data into vectors

Haskell

tabular

A fork of the Haskell tabular package.

Haskell

bus-pirate

A Haskell interface to the Bus Pirate binary interface

Haskell

mediawiki-annotate

Extract text and document structure from MediaWiki content

Haskell

cam-stream

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

Python

pipes-s3

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

Haskell

kd-tree

A simple k-d tree implementation in Haskell

Haskell

dell-e7470-dsdt

An ACPI dump from the the Dell Latitude E7470

Haskell

logfloat-unboxed

Vector.Unboxed instance for logfloat package

Haskell

svm-light-utils

Parsers and formatters for the SVMlight input file format

Haskell

ps2log

A Windows filter driver for logging PS/2 bus traffic

digamma

Robust implementation of Digamma function

Haskell

solar-charger-v2

Another attempt at a solar powered battery charger and USB power supply

mixture-model

Various mixture models in Haskell

Haskell

RepHost

Host software for RepRap and other G-code driven devices

Haskell

packing

Packing of spheres in Haskell

Haskell

GGen

A G-Code generator for 3D printers

Haskell

writing

Source for bloggish thing

Jupyter Notebook

hphoton

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

Haskell

notmuch-haskell

Haskell bindings to Notmuch mail

Haskell

wordnet-parse

A parser of WordNet databases

Haskell

build-env

Haskell

icalendar

ICalendar parsing library for Haskell

Haskell

timezone-utils

Utilities for working with time-zone aware dates in Haskell

Haskell

mqtt-log

A simple program for logging MQTT events to sqlite

Haskell

hmatrix-svdlibc

Haskell bindings for svdlibc

Haskell

chart-image

Image support for Chart

Haskell

kicad-hs

Library and tools for working with Kicad designs

Haskell

random-heap

Haskell

reprap-arm-hardware

An ARM control board for the RepRap built around the LPCXpresso development board

Shell

timetag-fpga

Verilog source for FPGA timetagger

Verilog

patience

Patience diff and longest increasing subsequence

Haskell

hbee

Haskell library for communicating with XBee Zigbee modules

Haskell

clash-multipliers

Tests of multipliers

Haskell

cube

Solver for Hanayama O'Gear cast puzzle

Haskell

tracker

Particle tracking implementation for mDAQ

max-ent

An implementation of Bryan and Skilling's maximum entropy fitting

Haskell

proposal-mail

Haskell

cosm

A library for interfacing with Cosm datastreams in Haskell

Haskell

reftrack

The humble beginnings of a bibliography management package

Haskell

fingertree

Git mirror of Ross Paterson's fingertree package

Haskell

tikz-factor-graph

Tikz macros for drawing factor graphs

riffle

A open-source sensing platform for a variety of water-quality metrics

solar-charger

A solar-powered battery charger and power supply

ftdi

An update of Roel van Dijk's ftdi library

Haskell

free-var-experiments

Haskell

harvard-syringe-pump

User Interface and Python library for Harvard Apparatus OEM syringe pumps

Python

100

trec-car-pipeline

The TREC CAR data ingest pipeline implemented with Funflow

Haskell

bgamari/the-thoralf-plugin

bgamari

Reviews

Repository Details

More Repositories