khieta

Kesha Hietala's repositories

Verification system for effectful programs

Language:F*Apache-2.01 10

Materials for the Technica 2022 Tech+Research "course assistant" project

Language:Python1 20

Apache-2.0000

Streamlining the release of dune packages to opam

Language:OCaml000

Asymptotic Upper Bound of Euler Totient Function φ

Language:Coq000

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:SCSSMIT000

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

Language:ShellCC0-1.0000

OCaml library for manipulating OpenQASM Abstract Syntax Tree

Language:OCamlMIT000