Pinned Loading

1. xr0-org/xr0 xr0-org/xr0 Public

   The Xr0 Verifier for C

   C 174 4

2. xr0-org/i2 xr0-org/i2 Public

   A language for verified reasoning

   Go 2

3. lex lex Public

   A naive implementation of Lex

   C

4. yacc yacc Public

   Self-hosting Yacc

   C

5. thompson-regex thompson-regex Public

   A simple regex-to-golang compiler based on Thompson's construction algorithm.

   Go 7

6. self-reproducers self-reproducers Public

   A bunch of quines, inspired by Thompson's Turing lecture.

   Go