Pinned Repositories
agda-metric-reals
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-2022
Materials for the 2022-2023 edition of CS316 "Functional Programming"
foveran
A Dependently Typed Programming Language
modulog
A Datalog implementation with an OCaml inspired module system
ocamlmvc
An MVC library for writing interactive webpages in OCaml
sott
Simplified Observational Type Theory
unboxed
Unboxed arrays for OCaml
bobatkey's Repositories
bobatkey/sott
Simplified Observational Type Theory
bobatkey/modulog
A Datalog implementation with an OCaml inspired module system
bobatkey/CS316-19
The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
bobatkey/CS316-18
The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
bobatkey/agda-metric-reals
bobatkey/foveran
A Dependently Typed Programming Language
bobatkey/CS316-2020
The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
bobatkey/CS316-2022
Materials for the 2022-2023 edition of CS316 "Functional Programming"
bobatkey/CS316-17
The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
bobatkey/interactive-natural-deduction
An editor for interactively building natural deduction proofs
bobatkey/sorting-types
Typed DSLs for sorting
bobatkey/playtime
An OCaml EDSL for describing and solving strategic games
bobatkey/authenticated-data-structures
An implementation of generic authenticated data structures in OCaml
bobatkey/semantic-cut-elimination
Cut-elimination by Semantic Means
bobatkey/qtt-models
Formalisations of interesting models of QTT
bobatkey/ppx-monoid
bobatkey/pretty-monospace
An OCaml pretty-printing library for monospaced text
bobatkey/CS316-2021
The 2021/22 edition of Strathclyde's Functional Programming course in Haskell
bobatkey/polly
A simple language for services
bobatkey/ppx-markdown
OCaml PPX extension for including markdown in OCaml source files
bobatkey/access_log
bobatkey/approx-diff
Approximation as Differentiation
bobatkey/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
bobatkey/ulmus
Ulmus
bobatkey/agda-stdlib
The Agda standard library
bobatkey/effects-bibliography
Work related to algebraic effects and handlers
bobatkey/ocaml-eff-example
Examples to illustrate the use of algebraic effects in OCaml
bobatkey/omd
extensible Markdown library and tool in "pure OCaml"
bobatkey/statement-on-lambdaconf.github.io
bobatkey/vehicle