travitch/hbgl-experimental travitch/hbgl-experimental

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 13 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
travitch/hbgl-experimental
github

travitch

Reviews

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

Repository Details

An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)

More Repositories

1

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files
Python
642
star
2

datalog

A pure Haskell implementation of Datalog
Haskell
100
star
3

build-bom

Dynamically discover the commands used to create a piece of software
Rust
42
star
4

llvm-analysis

A library for analyzing LLVM bitcode in Haskell
Haskell
40
star
5

haggle

An efficient graph library for Haskell
Haskell
37
star
6

hasksyn

A vim mode for Haskell
Vim Script
31
star
7

llvm-tools

A set of tools for visualizing and inspecting LLVM bitcode modules
Haskell
30
star
8

persistent-vector

Persistent vectors for Haskell based on array mapped tries
Haskell
27
star
9

uw-beamer-template

This is a LaTeX Beamer template for the University of Wisconsin
13
star
10

llvm-data-interop

A package to convert the LLVM IR into a native Haskell data type
Haskell
13
star
11

itanium-abi

An implementation of C++ name mangling for the Itanium ABI
Haskell
11
star
12

foreign-inference

A smarter tool to automatically generate FFI bindings for C libraries
Haskell
10
star
13

llvm-base-types

Type definitions used in some higher-level LLVM-related packages
Haskell
7
star
14

iiglue

Tools for generating foreign function interface bindings
Haskell
5
star
15

ifscs

An inductive form set constraint solver in Haskell
Haskell
4
star
16

haskell-pragma.el

An emacs hydra to enable Haskell language extensions efficiently
Emacs Lisp
3
star
17

hsqml

A fork of hsqml with some extra features
Haskell
3
star
18

blog

The code for my blog (ravit.ch)
SCSS
3
star
19

ddmin

An implementation of delta debugging (ddmin) in Haskell
Haskell
3
star
20

shellDSL

Haskell
3
star
21

robbed

A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)
Haskell
3
star
22

phixpoint

A library for computing fixpoints over lattices in Haskell
Haskell
3
star
23

binary-walkr

A tool for examining ELF binaries
Rust
2
star
24

gitlab-snippet.el

An emacs package for posting snippets of code to a gitlab instance
Emacs Lisp
2
star
25

ql-grep

A code search tool that implements CodeQL on the tree-sitter infrastructure
Rust
2
star
26

crepitans

A tool for scriptable exploration of binaries
Haskell
2
star
27

archive-inspection

A library providing a uniform interface to traversing the contents of tarballs and zip archives
Haskell
2
star
28

satisfaction

A DPLL SAT solver written in Haskell
Haskell
2
star
29

completing-read-xref.el

An interface to xref based on completing-read
Emacs Lisp
2
star
30

travitch

The code for my Github profile page
Rust
1
star
31

word-bv

A Haskell library for bitvectors backed by fixed-sized words
Haskell
1
star
32

satir

An implementation of a SAT solver in Rust
Rust
1
star
33

humidor

A Qt binding generator for Haskell based on Smoke
Haskell
1
star
34

language-python-builder

A layer on top of language-python providing hygienic name generation
Haskell
1
star