tov/ihmx tov/ihmx

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tov/ihmx
github

tov

Reviews

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

Repository Details

More Repositories

1

libffi-rs

Rust bindings for libffi
C
93
star
2

shcaml

Caml-Shcaml: An Ocaml library for Unix shell programming
OCaml
65
star
3

succinct-rs

Succinct Data Structures for Rust
Rust
56
star
4

alms

The Alms Programming Language
Haskell
43
star
5

min-max-heap-rs

A double-ended priority queue
Rust
34
star
6

weak-table-rs

Weak hash tables for Rust
Rust
31
star
7

memoize

A Haskell memoization library
Haskell
29
star
8

bv-rs

Bit-vectors and bit-slices for Rust
Rust
26
star
9

disjoint-sets-rs

Three implementations of Tarjan’s Union-Find
Rust
14
star
10

type-systems-seminar

Notes for winter 2018 PL seminar
Racket
9
star
11

dssl2

A data structures student language, version 2
Racket
9
star
12

bf-rs

Brainfuck in Rust
Rust
7
star
13

ge211

A relatively simple C++ student game engine
C++
6
star
14

thousands-rs

Prints numbers with separators
Rust
6
star
15

latex-ottalt

LaTeX package for improved formatting of rules and grammars generated by the Ott tool
6
star
16

eecs214

Public repository for Northwestern EECS 214
TeX
5
star
17

libffi-sys-rs

[DEPRECATED; see README.md] Low-level Rust bindings for libffi
C
4
star
18

feature-probe-rs

Probe for Rust language features from build.rs
Rust
4
star
19

gsc-server

A grading server
C
4
star
20

dssl

Data Structures Student Language
Racket
4
star
21

latex-plstx

A configurable LaTeX environment for high-quality typesetting of grammars for programming language theory
3
star
22

latex-subref

LaTeX package for referring to nested/hierarchical references
3
star
23

latex-listproc

List processing macros for LaTeX
2
star
24

bf-bench-rs

Benchmarks for (Rust) Brainfuck implementations
Brainfuck
1
star
25

foropts-rs

Iterator-style command-line option parsing for Rust
Rust
1
star
26

prettypp

C++17 pretty-printing combinators
C++
1
star
27

villages

Haskell
1
star
28

latex-pfsteps

LaTeX package providing three facilities for making it easier to typeset proofs.
1
star
29

precisepp

Precise++: A precise garbage collector for C++.
C++
1
star
30

preprocessor-tools-hs

Quick-and-dirty Haskell preprocessor
Haskell
1
star
31

broadword-rs

Broadword operations for Rust
Rust
1
star
32

latex-crush

LaTeX package for shrinking boxes (Γ  la \llap) in a variety of ways
TeX
1
star
33

prettier-rs

Pretty printing combinators for Rust
Rust
1
star