tov/dssl2

Data Structures

Stars
9
Rank 1,939,727 (Top 39 %)
Language
Racket
Created over 7 years ago
Updated 4 months ago

tov/dssl2

tov

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

A data structures student language, version 2

DSSL2: Data Structures Student Language

To install on the command line, run raco pkg install dssl2.

To install via DrRacket, go to File > Install Package…, paste https://github.com/tov/dssl2.git in the package source box, and click the Install (or Update) button.

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

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