Skip to content
@ltics

ltics

type systems, interpreters, compilers

Popular repositories Loading

  1. HMF HMF Public

    a simple implementation of HMF

    Haskell 2

  2. utlclj utlclj Public

    some stuff about utlc written in clojure

    Clojure 1

  3. EPL EPL Public

    epl in clojure

    Clojure 1

  4. Clea Clea Public

    The Clea Programming Language

    Haskell 1

  5. THH THH Public

    explore the core TS specs

    Idris 1

  6. tppa tppa Public

    a tiny LCF-style proof assistant.

    Haskell 1

Repositories

Showing 10 of 25 repositories
  • ltics.github.io Public
    ltics/ltics.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated May 5, 2020
  • lc3-checker Public

    type inference prototype for lc3 programming language

    ltics/lc3-checker’s past year of commit activity
    C++ 0 0 0 0 Updated Oct 11, 2017
  • lc3 Public

    The lc3 Programming Language

    ltics/lc3’s past year of commit activity
    C++ 0 0 1 0 Updated Oct 11, 2017
  • imp-lang Public

    Exploring operational semantics

    ltics/imp-lang’s past year of commit activity
    Haskell 0 0 0 0 Updated Apr 10, 2017
  • sft Public
    ltics/sft’s past year of commit activity
    Scala 0 0 0 0 Updated Oct 6, 2016
  • umplc Public
    ltics/umplc’s past year of commit activity
    OCaml 0 0 0 0 Updated Sep 19, 2016
  • sequent.idr Public
    ltics/sequent.idr’s past year of commit activity
    Idris 0 0 0 0 Updated Sep 7, 2016
  • THH Public

    explore the core TS specs

    ltics/THH’s past year of commit activity
    Idris 1 0 0 0 Updated Aug 22, 2016
  • tinytl Public

    unidiomatic usage of Rust, no linear type, no memory safety 😂

    ltics/tinytl’s past year of commit activity
    Rust 0 0 0 0 Updated Aug 21, 2016
  • tppa Public

    a tiny LCF-style proof assistant.

    ltics/tppa’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated Aug 20, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…