Pinned Loading

1. AthenaFoundation/athena-language-server AthenaFoundation/athena-language-server Public

   A language server for the Athena proof language

   Rust 1 2

2. funly funly Public

   A simple, statically typed, JIT compiled programming language with a unified definition syntax.

   Rust

3. static-program-analysis static-program-analysis Public

   Following along with the Static Program Analysis book with an Rust implementation

   Rust 1

4. lambda-mac lambda-mac Public

   The basic lambda calculus, extended with hygienic macros based on the Sets of Scopes model of macro expansion.

   Rust

5. minimal-yaml minimal-yaml Public

   A minimalist, zero-copy parser for a strict subset of the Yaml specification.

   Rust 20 3

6. davidbarsky/tracing-tree davidbarsky/tracing-tree Public

   Rust 148 41