Skip to content

Computer exploration of different PLT/Compiler concepts

Notifications You must be signed in to change notification settings

gamma-plt/PLT-canvas

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

40 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

PLT-canvas

Computer exploration of different PLT/Compiler concepts.

Compiler

  1. SimpleC Compiler A detailed implementation of a compiler, and an interpreter for a small subset of the C programming languages, as detailed in the link. The compiles compiles to a simple VM implemented there.
  2. Descensus A collection of hand written recursive descent parsers for some grammars. Simple grammars (textbook examples), grammars of toy programming languages, grammars for real programming languages, both acedemic ones and industrial ones (those categories are not exclusive).

Functional Languages Implementation

Software Verification

Static Analysis

Semantics

Proof Assistants

About

Computer exploration of different PLT/Compiler concepts

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published