10 open source projects by bobatkey

No description, website, or topics provided.

The 2019/2020 edition of Strathclyde's CS316 Functional Programming course

Simplified Observational Type Theory

The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course

A Dependently Typed Programming Language

The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde

Unboxed arrays for OCaml

An MVC library for writing interactive webpages in OCaml

A Datalog implementation with an OCaml inspired module system