Pinned Repositories
FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
stump-learnable
6502-ml
6502 chip simulator in OCaml
aoc-2023
aoc-ocaml-2022
beneater-6502
doppler-thyroid
Data analysis for malignancy detection in R.
formalabstracts
lean-mmc2021
propa
kodyvajjha's Repositories
kodyvajjha/propa
kodyvajjha/lean-mmc2021
kodyvajjha/6502-ml
6502 chip simulator in OCaml
kodyvajjha/aoc-2023
kodyvajjha/aoc-ocaml-2022
kodyvajjha/beneater-6502
kodyvajjha/doppler-thyroid
Data analysis for malignancy detection in R.
kodyvajjha/formalabstracts
kodyvajjha/FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
kodyvajjha/format_lean
A Lean file formatter
kodyvajjha/melancholy-powerlaw
A verification of Zipf's law in word frequencies in Burton's "The Anatomy of Melancholy"
kodyvajjha/goodwatch
Replacement board for Casio Calculator Watches using the CC430F6147
kodyvajjha/haskell-project-euler
An attempt to solve all of the Project Euler problems in Haskell.
kodyvajjha/kodyvajjha
Config files for my GitHub profile.
kodyvajjha/kodyvajjha.github.io
Personal website
kodyvajjha/lean-crm
kodyvajjha/lean-docker
Lean prover on a minimal Docker image
kodyvajjha/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
kodyvajjha/lean4
Lean4 work in progress repo
kodyvajjha/linuxprivchecker
linuxprivchecker.py -- a Linux Privilege Escalation Check Script
kodyvajjha/mathlib
Lean mathematical components library
kodyvajjha/mathlib4
The math library of Lean 4
kodyvajjha/nikeplus
Export Nikeplus data to CSV
kodyvajjha/ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
kodyvajjha/plastex
Python package to convert LaTeX markup to DOM
kodyvajjha/publications-of-thomas-hales
Automatically exported from code.google.com/p/mathematical-papers
kodyvajjha/tensorflow
An Open Source Machine Learning Framework for Everyone
kodyvajjha/twitter-bots
A collection of python scripts which explore things one can do with Twitter bots.
kodyvajjha/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
kodyvajjha/vscode-pvs
LAR-19642-1: Visual Studio Code Extension for PVS