tcdl-univ

tcdl-univ

Geek Repo

Home Page:http://tcdl-univ.github.io/

Github PK Tool:Github PK Tool

tcdl-univ's repositories

Language:OCamlLicense:BSD-2-ClauseStargazers:5Issues:0Issues:0

algorithmw_haskell

Implementation of algorithm W by Martin Grabmüller

Language:HaskellStargazers:3Issues:0Issues:0

astmanipulation

Manipulation examples of the Python language AST

Language:PythonLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0
Language:ScalaStargazers:2Issues:0Issues:0
Language:RubyLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0
Language:OCamlStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0
Language:Standard MLLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

type_systems

Different type and type inference systems along with pierce book code

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

uLisp

Little interpreter for Scheme

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ILD-Lisper

Small lisp interpreter/compiler in Scala

Language:ScalaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

parsed

a haskellified version of the classic sed unix tool

Language:TeXLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

QLanguage

Small language to demonstrate Referential Transparency

Language:ScalaStargazers:0Issues:0Issues:0

tapl-arithmetical

Code for Chapter 3 on the TAPL book

Language:ScalaStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0