caballa Goto Github PK
Name: Jorge Navas
Type: User
Company: Certora
Bio: Working on static analysis at Certora
Location: USA
Name: Jorge Navas
Type: User
Company: Certora
Bio: Working on static analysis at Certora
Location: USA
BTOR2 MLIR project
Examples showing Clam functionality
A Tool for Intersecting Context-Free Grammars
Ethereum C++ client
Material used for Crab tutorial given in Dagstuhl 2023 (https://www.dagstuhl.de/23281)
A eBPF verifier based on Crab
Run Crab analyzer on programs written in CrabIR (a simple goto-based language)
A new eBPF verifier, using abstract interpretation
Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)
ELINA: ETH LIbrary for Numerical Analysis
The Ethereum EVM JIT
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
LLPE - Smowton's partial evaluator on LLVM bitcode
Fork of the LLVM Compiler Infrastructure
A Python script to create cactus and scatter plots based on matplotlib
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
SeaHorn Verification Framework
Solidity, the Contract-Oriented Programming Language
Verify aws-c-common using SeaHorn BMC engines
Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now implemented in Crab
The Yices SMT Solver
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.