Pinned Loading

1. unicode-org/icu4x unicode-org/icu4x Public

   Solving i18n for client-side and resource-constrained environments.

   Rust 1.4k 178

2. progge.rs progge.rs Public

   Program analysis playground for a simple, imperative language

   Rust 35

3. imp imp Public

   Big-step, small-step and axiomatic semantics for the IMP language (unofficial)

   Rust 3

4. elina-rs elina-rs Public

   Rust bindings for the ELINA library

   Rust 4

5. stringlang stringlang Public

   An interpreted, expression-oriented language where everything evaluates to strings

   Go 3 1

6. eth-video-grabber eth-video-grabber Public

   Download all ETH lecture recordings you have access to.

   Ruby 8 1