Discover tov/dssl Open Source project by Jesse A. Tov (@tov)

1

libffi-rs

Rust bindings for libffi

C

93

2

shcaml

Caml-Shcaml: An Ocaml library for Unix shell programming

OCaml

65

3

succinct-rs

Succinct Data Structures for Rust

Rust

56

4

alms

The Alms Programming Language

Haskell

43

5

min-max-heap-rs

A double-ended priority queue

Rust

34

6

weak-table-rs

Weak hash tables for Rust

Rust

31

7

memoize

A Haskell memoization library

Haskell

29

8

bv-rs

Bit-vectors and bit-slices for Rust

Rust

26

9

disjoint-sets-rs

Three implementations of Tarjan’s Union-Find

Rust

14

10

type-systems-seminar

Notes for winter 2018 PL seminar

Racket

9

11

dssl2

A data structures student language, version 2

Racket

9

12

bf-rs

Brainfuck in Rust

Rust

7

13

ge211

A relatively simple C++ student game engine

C++

6

14

thousands-rs

Prints numbers with separators

Rust

6

15

latex-ottalt

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

6

16

eecs214

Public repository for Northwestern EECS 214

TeX

5

17

feature-probe-rs

Probe for Rust language features from build.rs

Rust

4

18

gsc-server

A grading server

C

4

19

libffi-sys-rs

[DEPRECATED; see README.md] Low-level Rust bindings for libffi

C

4

20

latex-plstx

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

3

21

latex-subref

LaTeX package for referring to nested/hierarchical references

3

22

ihmx

Haskell

2

23

latex-listproc

List processing macros for LaTeX

2

24

bf-bench-rs

Benchmarks for (Rust) Brainfuck implementations

Brainfuck

1

25

prettypp

C++17 pretty-printing combinators

C++

1

26

latex-pfsteps

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

1

27

villages

Haskell

1

28

foropts-rs

Iterator-style command-line option parsing for Rust

Rust

1

29

precisepp

Precise++: A precise garbage collector for C++.

C++

1

30

preprocessor-tools-hs

Quick-and-dirty Haskell preprocessor

Haskell

1

31

broadword-rs

Broadword operations for Rust

Rust

1

32

latex-crush

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

TeX

1

33

prettier-rs

Pretty printing combinators for Rust

Rust

1

tov/dssl

tov

Reviews

Repository Details

DSSL: Data Structures Student Language

More Repositories