Applied Scientist in Automated Reasoning, AWS
Block or Report
Block or report khieta
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
technica-2022
technica-2022 PublicMaterials for the Technica 2022 Tech Research "course assistant" project
-
khieta.github.io
khieta.github.io PublicForked from academicpages/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
SCSS
-
opam-repository
opam-repository PublicForked from ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Shell
-
dune-release
dune-release PublicForked from tarides/dune-release
Streamlining the release of dune packages to opam
OCaml
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.