Pinned Repositories
plane-tracker
UAV Tracking Software for CSE 145 Project
react-drag-sort
draggable sort component
rest
A library for rewriting
rest-old
Technical-Theatre-Assistant
Android application intended to assist carpenters doing technical theatre work.
zgrannan's Repositories
zgrannan/rest
A library for rewriting
zgrannan/aeneas
A verification toolchain for Rust programs
zgrannan/charon
Interface with the rustc compiler for the purpose of program verification
zgrannan/cheatsheets
My cheatsheets
zgrannan/direnv
unclutter your .profile
zgrannan/fib
the fibonacci only you would give me
zgrannan/flex-error
zgrannan/haddock
Haskell Documentation Tool
zgrannan/ibc-go
Interblockchain Communication Protocol (IBC) implementation in Golang.
zgrannan/ibc-rs
IBC Relayer (Hermes) and Modules in Rust
zgrannan/ink
Parity's ink! to write smart contracts.
zgrannan/ink-examples
A set of examples for ink! smart contract language. Happy hacking!
zgrannan/langchainjs
🦜🔗 Build context-aware reasoning applications 🦜🔗
zgrannan/Panorama-Swap-INK-SC
The following repository is used to store all Panorama Swaps's smart contracts.
zgrannan/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
zgrannan/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
zgrannan/rpe-eval
zgrannan/rust
Empowering everyone to build reliable and efficient software.
zgrannan/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
zgrannan/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
zgrannan/silver
Definition of the Viper intermediate verification language.
zgrannan/stable-diffusion
zgrannan/SWE-agent
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.29% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.
zgrannan/symbolic-execution
zgrannan/tendermint-rs
Tendermint in Rust!
zgrannan/tree-sitter-viper
Tree Sitter Parser for Viper
zgrannan/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
zgrannan/viper-simplifier
Simplifies Viper Programs
zgrannan/what-vision-os-can-do
This project serves as a showcase for the remarkable ideas behind visionOS. It can be likened to a gallery that demonstrates the vast range of capabilities offered by visionOS.
zgrannan/zgrannan.github.io