tov/latex-ottalt tov/latex-ottalt

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
  • Created over 13 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tov/latex-ottalt
github

tov

Reviews

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

Repository Details

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

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

eecs214

Public repository for Northwestern EECS 214
TeX
5
star
16

libffi-sys-rs

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

feature-probe-rs

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

gsc-server

A grading server
C
4
star
19

dssl

Data Structures Student Language
Racket
4
star
20

latex-plstx

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

latex-subref

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

ihmx

Haskell
2
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