Highlights
- Pro
-
-
-
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedSep 24, 2024 -
-
rest Public
A library for rewriting
-
-
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedApr 26, 2024 -
charon Public
Forked from AeneasVerif/charonInterface with the rustc compiler for the purpose of program verification
Rust Apache License 2.0 UpdatedApr 23, 2024 -
SWE-agent Public
Forked from princeton-nlp/SWE-agentSWE-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.
Python MIT License UpdatedApr 17, 2024 -
langchainjs Public
Forked from langchain-ai/langchainjsπ¦π Build context-aware reasoning applications π¦π
TypeScript MIT License UpdatedApr 10, 2024 -
what-vision-os-can-do Public
Forked from XRealityZone/what-vision-os-can-doThis 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.
Swift UpdatedMar 4, 2024 -
ibc-rs Public
Forked from informalsystems/hermesIBC Relayer (Hermes) and Modules in Rust
Rust Apache License 2.0 UpdatedMar 2, 2024 -
ink-examples Public
Forked from use-ink/ink-examplesA set of examples for ink! smart contract language. Happy hacking!
Rust The Unlicense UpdatedFeb 21, 2024 -
Panorama-Swap-INK-SC Public
Forked from RottenKiwi/Panorama-Swap-INK-SCThe following repository is used to store all Panorama Swaps's smart contracts.
Rust UpdatedFeb 13, 2024 -
ink Public
Forked from use-ink/inkParity's ink! to write smart contracts.
Rust Apache License 2.0 UpdatedFeb 8, 2024 -
viper-ide Public
Forked from viperproject/viper-ideThis is the main repository for the Viper IDE extension for VS Code.
TypeScript Mozilla Public License 2.0 UpdatedFeb 5, 2024 -
-
prusti-assistant Public
Forked from viperproject/prusti-assistantVS Code extension to verify Rust programs with the Prusti verifier.
TypeScript MIT License UpdatedFeb 2, 2024 -
-
haddock Public
Forked from haskell/haddockHaskell Documentation Tool
HTML BSD 2-Clause "Simplified" License UpdatedDec 9, 2022 -
ibc-go Public
Forked from cosmos/ibc-goInterblockchain Communication Protocol (IBC) implementation in Golang.
Go MIT License UpdatedNov 2, 2022 -
fib Public
Forked from braxtonhall/fibthe fibonacci only you would give me
Assembly UpdatedOct 28, 2022 -
scala-smtlib Public
Forked from regb/scala-smtlibScala library for parsing and printing the SMT-LIB format
SMT MIT License UpdatedAug 31, 2022 -
stable-diffusion Public
Forked from CompVis/stable-diffusionJupyter Notebook Other UpdatedAug 31, 2022 -
tendermint-rs Public
Forked from informalsystems/tendermint-rsTendermint in Rust!
Rust Apache License 2.0 UpdatedAug 10, 2022 -
-
flex-error Public
Forked from informalsystems/flex-errorRust Apache License 2.0 UpdatedJul 15, 2022 -
silver Public
Forked from viperproject/silverDefinition of the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedJul 7, 2022 -
silicon Public
Forked from viperproject/siliconSymbolic-execution-based verifier for the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedJul 7, 2022 -
cheatsheets Public
Forked from rstacruz/cheatsheetsMy cheatsheets
SCSS MIT License UpdatedJun 22, 2022