Skip to content

@gamma-plt Gamma PLT

Change the repository type filter

All

    Repositories list

    5 repositories

    • HCL

      Public
      The HCL compiler, a compiler for Dijkstra's guarded command language (GCL), based on Hoare, Dijkstra, Gries and Dahl ideas.
      Python
      •
      Other
      •2•5•5•0•Updated Sep 21, 2021Sep 21, 2021

    • creeping

      Public
      A short and sweet programming language to explore gradual typing concepts
      F#
      •0•0•0•0•Updated Nov 16, 2017Nov 16, 2017

    • workbook

      Public
      Exercises and assignments from PLT related books
      F#
      •0•0•0•0•Updated Nov 15, 2017Nov 15, 2017

    • ola

      Public
      Concurrent multi-paradigm Lisp-like language based on BEAM VM
      MIT License
      •0•0•0•0•Updated Feb 2, 2017Feb 2, 2017

    • PLT-canvas

      Public
      Computer exploration of different PLT/Compiler concepts
      Java
      •0•0•0•0•Updated Jan 27, 2017Jan 27, 2017