bobatkey

sott

Simplified Observational Type Theory

modulog

A Datalog implementation with an OCaml inspired module system

CS316-19

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

CS316-18

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

agda-metric-reals

foveran

A Dependently Typed Programming Language

CS316-2020

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

CS316-2022

Materials for the 2022-2023 edition of CS316 "Functional Programming"

CS316-17

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

interactive-natural-deduction

An editor for interactively building natural deduction proofs

sorting-types

Typed DSLs for sorting

playtime

An OCaml EDSL for describing and solving strategic games

authenticated-data-structures

An implementation of generic authenticated data structures in OCaml

semantic-cut-elimination

Cut-elimination by Semantic Means

qtt-models

Formalisations of interesting models of QTT

ppx-monoid

pretty-monospace

An OCaml pretty-printing library for monospaced text

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell

polly

A simple language for services

ppx-markdown

OCaml PPX extension for including markdown in OCaml source files

access_log

approx-diff

Approximation as Differentiation

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ulmus

Ulmus

agda-stdlib

The Agda standard library

effects-bibliography

Work related to algebraic effects and handlers

ocaml-eff-example

Examples to illustrate the use of algebraic effects in OCaml

omd

extensible Markdown library and tool in "pure OCaml"

statement-on-lambdaconf.github.io

vehicle