Skip to content
@gamma-plt

Gamma PLT

Programming Language analysis, design and implementation. Compiler infrastructure and semantic processing

Popular repositories Loading

  1. HCL HCL Public

    The HCL compiler, a compiler for Dijkstra's guarded command language (GCL), based on Hoare, Dijkstra, Gries and Dahl ideas.

    Python 5 2

  2. PLT-canvas PLT-canvas Public

    Computer exploration of different PLT/Compiler concepts

    Java

  3. ola ola Public

    Concurrent multi-paradigm Lisp-like language based on BEAM VM

  4. creeping creeping Public

    A short and sweet programming language to explore gradual typing concepts

    F#

  5. workbook workbook Public

    Exercises and assignments from PLT related books

    F#

Repositories

Showing 5 of 5 repositories
  • HCL Public

    The HCL compiler, a compiler for Dijkstra's guarded command language (GCL), based on Hoare, Dijkstra, Gries and Dahl ideas.

    gamma-plt/HCL’s past year of commit activity
    Python 5 2 5 0 Updated Sep 21, 2021
  • creeping Public

    A short and sweet programming language to explore gradual typing concepts

    gamma-plt/creeping’s past year of commit activity
    F# 0 0 0 0 Updated Nov 16, 2017
  • workbook Public

    Exercises and assignments from PLT related books

    gamma-plt/workbook’s past year of commit activity
    F# 0 0 0 0 Updated Nov 15, 2017
  • ola Public

    Concurrent multi-paradigm Lisp-like language based on BEAM VM

    gamma-plt/ola’s past year of commit activity
    0 MIT 0 0 0 Updated Feb 2, 2017
  • PLT-canvas Public

    Computer exploration of different PLT/Compiler concepts

    gamma-plt/PLT-canvas’s past year of commit activity
    Java 0 0 0 0 Updated Jan 27, 2017

Top languages

Loading…

Most used topics

Loading…