vineetkeshari/LambdaEval
Big-step and small-step evaluation for Lambda calculus (parser included)
Public GitHub Catalog
Discovered Sep 30, 2026
vineetkeshari / TypeInference
Polymorphic type inference and safety for a language with integers and booleans
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.
#18394151GitHub System ID
vineetkeshariOrganization / User
PublicVisibility
ActiveCatalog Status
More from vineetkeshari
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.
vineetkeshari/3PhaseCommit
Implementation of a 3-Phase Commit protocol for a simple song playlist application