vineetkeshari/LambdaEval
Big-step and small-step evaluation for Lambda calculus (parser included)
Public GitHub Catalog
Discovered Sep 28, 2026
vineetkeshari / Machine-Learning
Code and reports for Machine Learning (CS 391L) assignments
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#12567715GitHub System ID
vineetkeshariOrganization / User
PublicVisibility
ActiveCatalog Status
More from vineetkeshari
vineetkeshari/TypeInference
Polymorphic type inference and safety for a language with integers and booleans
vineetkeshari/Bayou
An implementation of the Bayou epidemic protocol for CS 380D
vineetkeshari/Paxos
Paxos made moderately complex for CS 380D Distributed Computing. Bank application built on top.