Discover @tov Open Source projects

Jesse A. Tov (@tov)

tov

Stars
475
Global Rank 60,461 (Top 3 %)
Followers 120
Following 20
Registered over 13 years ago
Most used languages

Rust
37.9 %

Haskell
17.2 %

C
10.3 %

Racket
10.3 %

C++
10.3 %

TeX
6.9 %

Brainfuck 3.4 %

OCaml
3.4 %
Location 🇺🇸 United States
Country Total Rank 15,386
Country Ranking

Brainfuck 63

Racket
99

OCaml
102

Haskell
277

Rust
793

TeX
1,675

C
2,071

libffi-rs

Rust bindings for libffi

shcaml

Caml-Shcaml: An Ocaml library for Unix shell programming

succinct-rs

Succinct Data Structures for Rust

alms

The Alms Programming Language

min-max-heap-rs

A double-ended priority queue

weak-table-rs

Weak hash tables for Rust

memoize

A Haskell memoization library

bv-rs

Bit-vectors and bit-slices for Rust

disjoint-sets-rs

Three implementations of Tarjan’s Union-Find

type-systems-seminar

Notes for winter 2018 PL seminar

dssl2

A data structures student language, version 2

bf-rs

Brainfuck in Rust

ge211

A relatively simple C++ student game engine

thousands-rs

Prints numbers with separators

latex-ottalt

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

eecs214

Public repository for Northwestern EECS 214

libffi-sys-rs

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

feature-probe-rs

Probe for Rust language features from build.rs

gsc-server

A grading server

dssl

Data Structures Student Language

latex-plstx

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

latex-subref

LaTeX package for referring to nested/hierarchical references

ihmx

latex-listproc

List processing macros for LaTeX

bf-bench-rs

Benchmarks for (Rust) Brainfuck implementations

foropts-rs

Iterator-style command-line option parsing for Rust

prettypp

C++17 pretty-printing combinators

villages

latex-pfsteps

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

precisepp

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

preprocessor-tools-hs

Quick-and-dirty Haskell preprocessor

broadword-rs

Broadword operations for Rust

latex-crush

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

prettier-rs

Pretty printing combinators for Rust