vineetkeshari/LambdaEval
Big-step and small-step evaluation for Lambda calculus (parser included)
Public GitHub Catalog
Discovered Sep 27, 2026
vineetkeshari / cs373-xml
CS W373 : Software Engineering : Project 2
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.
#10742511GitHub 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.