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. compiler-frontend compiler-frontend Public

   a complete compiler front-end as described in chapter 2 of the dragon book.

   Go

4. mcnaughton-yamada-thompson mcnaughton-yamada-thompson Public

   This repository is an implementation of the McNaughton–Yamada–Thompson algorithm, a method of transforming a regular expression into an equivalent nondeterministic finite automaton (NFA). The resul…

   Go

5. dragon-book dragon-book Public

   Implementation following chapters in "Principles of Compiler Design"

   C

6. algorithms algorithms Public

   some interesting algorithm implementations

   Go