bobatkey Goto Github PK

access_log

acfg-parser

Parser for Active Context Free Grammars

agda-metric-reals

agda-stdlib

The Agda standard library

algebraically-indexed-types

Repository for documents and experiments to do with algebraically-indexed types

approx-diff

Approximation as Differentiation

array-mapped-trie

An Array Mapped Trie implementation in OCaml

authenticated-data-structures

An implementation of generic authenticated data structures in OCaml

camlcheck

An OCaml QuickCheck clone

clocked-types

coqjvm

Coq executable semantics and resource verifier

cs316-17

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

cs316-18

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

cs316-19

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

cs316-2020

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

cs316-2021

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

cs316-2022

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

effects-bibliography

Work related to algebraic effects and handlers

forvie

Some Programming Language Description and Processing Tools in Haskell

foveran

A Dependently Typed Programming Language

inductors

Notes and implementations of inductors

interactive-natural-deduction

An editor for interactively building natural deduction proofs

interleaving

Work on reasoning about interleaved data and effects

modulog

A Datalog implementation with an OCaml inspired module system

ocaml-eff-example

Examples to illustrate the use of algebraic effects in OCaml

ocamlmvc

An MVC library for writing interactive webpages in OCaml

omd

extensible Markdown library and tool in "pure OCaml"

opam-repository

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

parser-combinators-intro

Slides for an introductory talk on Parser Combinators

playtime

An OCaml EDSL for describing and solving strategic games