• Stars
    star
    1
  • Language
    TeX
  • Created over 13 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

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

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

ihmx

Haskell
2
star
24

latex-listproc

List processing macros for LaTeX
2
star
25

bf-bench-rs

Benchmarks for (Rust) Brainfuck implementations
Brainfuck
1
star
26

foropts-rs

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

prettypp

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

villages

Haskell
1
star
29

latex-pfsteps

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

precisepp

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

preprocessor-tools-hs

Quick-and-dirty Haskell preprocessor
Haskell
1
star
32

broadword-rs

Broadword operations for Rust
Rust
1
star
33

prettier-rs

Pretty printing combinators for Rust
Rust
1
star