kodyvajjha

propa

lean-mmc2021

6502-ml

6502 chip simulator in OCaml

aoc-2023

aoc-ocaml-2022

beneater-6502

doppler-thyroid

Data analysis for malignancy detection in R.

formalabstracts

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

format_lean

A Lean file formatter

melancholy-powerlaw

A verification of Zipf's law in word frequencies in Burton's "The Anatomy of Melancholy"

goodwatch

Replacement board for Casio Calculator Watches using the CC430F6147

haskell-project-euler

An attempt to solve all of the Project Euler problems in Haskell.

kodyvajjha

Config files for my GitHub profile.

kodyvajjha.github.io

Personal website

lean-crm

lean-docker

Lean prover on a minimal Docker image

lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

lean4

Lean4 work in progress repo

linuxprivchecker

linuxprivchecker.py -- a Linux Privilege Escalation Check Script

mathlib

Lean mathematical components library

mathlib4

The math library of Lean 4

nikeplus

Export Nikeplus data to CSV

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

plastex

Python package to convert LaTeX markup to DOM

publications-of-thomas-hales

Automatically exported from code.google.com/p/mathematical-papers

tensorflow

An Open Source Machine Learning Framework for Everyone

twitter-bots

A collection of python scripts which explore things one can do with Twitter bots.

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

vscode-pvs

LAR-19642-1: Visual Studio Code Extension for PVS