vineetkeshari/LambdaEval
Big-step and small-step evaluation for Lambda calculus (parser included)
Public GitHub Catalog
Discovered Sep 29, 2026
vineetkeshari / Paxos
Paxos made moderately complex for CS 380D Distributed Computing. Bank application built on top.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14128285GitHub 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/3PhaseCommit
Implementation of a 3-Phase Commit protocol for a simple song playlist application