-
Intel Corporation
- San Francisco Bay Area
- kodyvajjha.github.io
-
-
-
-
-
-
-
-
ocaml5-tutorial Public
Forked from ocaml-multicore/ocaml5-tutorialA hands-on tutorial on the new parallelism features in OCaml 5
OCaml MIT License UpdatedOct 21, 2023 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 30, 2023 -
haskell-project-euler Public
An attempt to solve all of the Project Euler problems in Haskell.
-
-
-
vscode-pvs Public
Forked from nasa/vscode-pvsLAR-19642-1: Visual Studio Code Extension for PVS
TypeScript Other UpdatedMar 9, 2022 -
-
FormalML Public
Forked from IBM/FormalMLFormalization of Machine Learning Theory with Applications to Program Synthesis
Coq Apache License 2.0 UpdatedJul 24, 2021 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMar 12, 2021 -
goodwatch Public
Forked from travisgoodspeed/goodwatchReplacement board for Casio Calculator Watches using the CC430F6147
C UpdatedMar 1, 2021 -
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
C++ Apache License 2.0 UpdatedApr 24, 2019 -
-
plastex Public
Forked from gerby-project/plastexPython package to convert LaTeX markup to DOM
Python Other UpdatedMar 17, 2019 -
-
-
format_lean Public
Forked from leanprover-community/format_leanA Lean file formatter
CSS Apache License 2.0 UpdatedFeb 13, 2019 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedNov 4, 2018 -
lean-docker Public
Forked from spl/lean-dockerLean prover on a minimal Docker image
Dockerfile UpdatedJul 25, 2018 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedJan 21, 2018 -
lean2 Public
Forked from leanprover/lean2Lean theorem prover version 0.2 (it supports standard and HoTT modes)
C++ Apache License 2.0 UpdatedNov 4, 2017 -
linuxprivchecker Public
Forked from sleventyeleven/linuxprivcheckerlinuxprivchecker.py -- a Linux Privilege Escalation Check Script
-
publications-of-thomas-hales Public
Forked from flyspeck/publications-of-thomas-halesAutomatically exported from code.google.com/p/mathematical-papers
-
twitter-bots Public
A collection of python scripts which explore things one can do with Twitter bots.
Python UpdatedJul 3, 2016