Skip to content

@tcdl-univ tcdl-univ

Change the repository type filter

All

    Repositories list

    18 repositories

    • typechecker-ruby

      Public
      Ruby
      •
      BSD 2-Clause "Simplified" License
      •0•0•5•1•Updated Jul 28, 2020Jul 28, 2020

    • ruby-inspector

      Public
      Ruby
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Oct 6, 2018Oct 6, 2018

    • tapl-arithmetical

      Public
      Code for Chapter 3 on the TAPL book
      Scala
      •0•0•0•0•Updated Jul 14, 2018Jul 14, 2018

    • tcdl-papers

      Public
      Python
      •0•1•0•0•Updated Jan 25, 2017Jan 25, 2017

    • algorithmw_haskell

      Public
      Implementation of algorithm W by Martin Grabmüller
      Haskell
      •0•4•0•0•Updated May 21, 2016May 21, 2016

    • tapl-ocaml-code

      Public
      OCaml
      •0•1•0•0•Updated May 21, 2016May 21, 2016

    • pfc-interpreter

      Public
      Standard ML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 4, 2015Oct 4, 2015

    • type_systems

      Public
      Different type and type inference systems along with pierce book code
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 3, 2015Oct 3, 2015

    • tcdl-univ.github.io

      Public
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 9, 2015Sep 9, 2015

    • ILD-LambdaCalculus

      Public
      Scala
      •0•2•0•0•Updated Jun 13, 2015Jun 13, 2015

    • ILD-parsers

      Public
      Scala
      •5•0•0•0•Updated Jun 12, 2015Jun 12, 2015

    • astmanipulation

      Public
      Manipulation examples of the Python language AST
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated May 13, 2015May 13, 2015

    • documentos-tcdl

      Public
      TeX
      •0•0•0•0•Updated Apr 24, 2015Apr 24, 2015

    • QLanguage

      Public
      Small language to demonstrate Referential Transparency
      Scala
      •0•0•0•0•Updated Apr 14, 2015Apr 14, 2015

    • parsed

      Public
      a haskellified version of the classic sed unix tool
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •3•0•0•0•Updated Apr 1, 2015Apr 1, 2015

    • ocaml-kaleidoscope

      Public
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •0•6•0•0•Updated Mar 20, 2015Mar 20, 2015

    • ILD-Lisper

      Public
      Small lisp interpreter/compiler in Scala
      Scala
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 8, 2015Mar 8, 2015

    • uLisp

      Public
      Little interpreter for Scheme
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Oct 9, 2014Oct 9, 2014