bobatkey/agda-metric-reals

Stars
28
Rank 882,216 (Top 18 %)
Language Agda
Created over 3 years ago
Updated over 2 years ago

bobatkey/agda-metric-reals

bobatkey

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

ocamlmvc

An MVC library for writing interactive webpages in OCaml

CS316-18

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

foveran

A Dependently Typed Programming Language

unboxed

Unboxed arrays for OCaml

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"

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq

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

algebraically-indexed-types

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

Forvie

Some Programming Language Description and Processing Tools in Haskell

array-mapped-trie

An Array Mapped Trie implementation in OCaml

semantic-cut-elimination

Cut-elimination by Semantic Means

qtt-models

Formalisations of interesting models of QTT

ppx-monoid

acfg-parser

Parser for Active Context Free Grammars

pretty-monospace

An OCaml pretty-printing library for monospaced text

parser-combinators-intro

Slides for an introductory talk on Parser Combinators

ppx-markdown

OCaml PPX extension for including markdown in OCaml source files

CS316-2021

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

polly

A simple language for services

clocked-types

camlcheck

An OCaml QuickCheck clone

access_log

ulmus

approx-diff

Approximation as Differentiation

Inductors

Notes and implementations of inductors