Repositories list

• ltics.github.io

  Public
  HTML

  •0•0•0•0•Updated May 5, 2020May 5, 2020

• lc3-checker

  Public
  type inference prototype for lc3 programming language

  cpp11type-system

  C++

  •0•0•0•0•Updated Oct 11, 2017Oct 11, 2017

• lc3

  Public
  The lc3 Programming Language

  interpretermetaprogrammingcpp11

  C++

  •0•0•1•0•Updated Oct 11, 2017Oct 11, 2017

• imp-lang

  Public
  Exploring operational semantics

  haskellinterpreterocaml

  Haskell

  •0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

• sft

  Public
  scalainterpretersimple-lambda-calculus

  Scala

  •0•0•0•0•Updated Oct 6, 2016Oct 6, 2016

• umplc

  Public
  interpreterocamltype-system

  OCaml

  •0•0•0•0•Updated Sep 19, 2016Sep 19, 2016

• sequent.idr

  Public
  idrissequent-calculusprove-system

  Idris

  •0•0•0•0•Updated Sep 7, 2016Sep 7, 2016

• THH

  Public
  explore the core TS specs

  idrishaskell-type-system

  Idris

  •0•1•0•0•Updated Aug 22, 2016Aug 22, 2016

• tinytl

  Public
  unidiomatic usage of Rust, no linear type, no memory safety :joy:

  rusttype-systemtype-checker

  Rust

  •0•0•0•0•Updated Aug 21, 2016Aug 21, 2016

• tppa

  Public
  a tiny LCF-style proof assistant.

  haskellsequent-calculusprove-system

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Aug 20, 2016Aug 20, 2016

• anatomy

  Public
  Haskell like interpreter written in Idris

  haskellinterpreteridris

  Idris

  •0•0•0•0•Updated Aug 5, 2016Aug 5, 2016

• TPL

  Public
  rustclojurescala+ 2ocamllex-yacc

  OCaml

  •0•0•0•0•Updated Jul 11, 2016Jul 11, 2016

• LC

  Public
  haskelllambda-calculus

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jun 25, 2016Jun 25, 2016

• HPLAR

  Public
  haskellsemantics

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated May 29, 2016May 29, 2016

• HMF

  Public
  a simple implementation of HMF

  haskelltype-systemranked-type

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•1•0•Updated May 27, 2016May 27, 2016

• Clea

  Public
  The Clea Programming Language

  haskellmetaprogramminglisp-interpreter

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated May 25, 2016May 25, 2016

• DHM

  Public
  a implementation of DHM, support extra types and expressions.

  clojuretype-systemdamas-hindley-milner

  Clojure

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated May 25, 2016May 25, 2016

• PLS

  Public
  interps compilers theories

  clojurehaskellscala+ 2ocamlprogramming-language-theory

  OCaml

  •0•0•0•0•Updated May 20, 2016May 20, 2016

• FOL

  Public
  Predicate (First-order) Logic

  haskellfirst-order-logic

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated May 19, 2016May 19, 2016

• uml

  Public
  μml

  clojureinterpreterml

  Clojure

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Mar 31, 2016Mar 31, 2016

• metace

  Public
  meta circular evaluator

  Clojure

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Oct 5, 2015Oct 5, 2015

• LIP

  Public
  lip in clojure

  parserclojure

  Clojure

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Oct 2, 2015Oct 2, 2015

• clime

  Public
  a micro template engine in pure clojure

  clojuretemplate-engine

  Clojure

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Oct 2, 2015Oct 2, 2015

• EPL

  Public
  epl in clojure

  clojurecompiler

  Clojure

  •

  Eclipse Public License 1.0

  •0•1•0•0•Updated Oct 2, 2015Oct 2, 2015

• utlclj

  Public
  some stuff about utlc written in clojure

  clojurechurch-numeralsuntyped-lambda-calculus

  Clojure

  •

  Eclipse Public License 1.0

  •0•1•0•0•Updated Oct 2, 2015Oct 2, 2015