apex predator
Repositories
vivekstills/cekura-agent
vivekstills/sharing-is-caring
vivekstills/tracediff
TraceDiff helps debug voice agents by comparing one successful call with one failed call. Instead of guessing why the agent failed, it finds the earliest observable difference related to a rule we care about.
vivekstills/vivek-os-project
vivekstills/ipspace
vivekstills/lightweight-nlae
vivekstills/dora
vivekstills/LeanProject
A template for blueprint-driven formalization projects in Lean.
vivekstills/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
vivekstills/zls
A language server for Zig supporting developers with features like autocomplete and goto definition
vivekstills/xenia
Xbox 360 Emulator Research Project
vivekstills/sentiment
sentiment analysis
vivekstills/Mindustry
The automation tower defense RTS