khieta
Follow
-
Prove-It Public
Forked from sandialabs/Prove-ItA tool for proving and organizing general theorems using Python.
Jupyter Notebook Other UpdatedMay 8, 2026 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Lean Apache License 2.0 UpdatedOct 2, 2024 -
khieta.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
SCSS MIT License UpdatedSep 24, 2024 -
-
-
euler Public
Forked from taorunz/eulerAsymptotic Upper Bound of Euler Totient Function φ
Coq UpdatedMar 28, 2023 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedDec 26, 2022 -
technica-2022 Public
Materials for the Technica 2022 Tech+Research "course assistant" project
-
openqasm-parser Public
Forked from inQWIRE/openqasm-parserOCaml library for manipulating OpenQASM Abstract Syntax Tree
OCaml MIT License UpdatedJul 2, 2022 -
dune-release Public
Forked from tarides/dune-releaseStreamlining the release of dune packages to opam
OCaml UpdatedApr 2, 2021 -
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
F* Apache License 2.0 UpdatedFeb 8, 2019