Pinned Loading

1. simple-lang simple-lang Public

   SIMPLE language implementation in Scala. It is a toy language which is explained in Tom Stuart's book Understanding Computation.

   Scala 3

2. nbe-a-tutorial nbe-a-tutorial Public

   Checking Dependent Types with Normalization by Evaluation

   Scala 9 1

3. turing turing Public

   Turing machine DSL and simulator

   Scala 1

4. uring uring Public

   io_uring library for Rust

   Rust 1

5. scala-notes scala-notes Public

   Notes on Scala, off the top of my head.

   Jupyter Notebook 3 1

6. parser-combinator-rs parser-combinator-rs Public

   Parser combinator library

   Rust