khieta

Applied Scientist in Automated Reasoning, AWS

@aws

Pinned Repositories

cedar
Implementation of the Cedar Policy Language
Language:Rust763 15 28763
.github
00
cedar-go
Language:Go00
dune-release
Streamlining the release of dune packages to opam
Language:OCaml0 0 00
euler
Asymptotic Upper Bound of Euler Totient Function φ
Language:Coq0 0 00
FStar
Verification system for effectful programs
Language:F*1 1 00
khieta.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:SCSS0 0 00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell00
openqasm-parser
OCaml library for manipulating OpenQASM Abstract Syntax Tree
Language:OCaml0 0 00
technica-2022
Materials for the Technica 2022 Tech+Research "course assistant" project
Language:Python1 2 05

khieta's Repositories

khieta/FStar
Verification system for effectful programs
Language:F*1 1 00
khieta/technica-2022
Materials for the Technica 2022 Tech+Research "course assistant" project
Language:Python1 2 05
khieta/.github
00
khieta/cedar-go
Language:Go00
khieta/dune-release
Streamlining the release of dune packages to opam
Language:OCaml0 0 00
khieta/euler
Asymptotic Upper Bound of Euler Totient Function φ
Language:Coq0 0 00
khieta/khieta.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:SCSS0 0 00
khieta/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell00
khieta/openqasm-parser
OCaml library for manipulating OpenQASM Abstract Syntax Tree
Language:OCaml0 0 00