Jorge Navas (@caballa)
github

caballa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 504,684 (Top 18 %)
  • Followers 50
  • Registered over 11 years ago
  • Most used languages
    C++
         71.4 %
    LLVM     14.3 %
    Prolog
         14.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 92,435
  • Country Ranking
    LLVM     99
    Prolog
         179
    C++
         6,073

Top repositories

1

wrapped-intervals

Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now implemented in Crab
C++
11
star
2

covenant

A Tool for Intersecting Context-Free Grammars
C++
9
star
3

llpe

LLPE - Smowton's partial evaluator on LLVM bitcode
C++
3
star
4

ftclp

FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Prolog
2
star
5

crabber

Run Crab analyzer on programs written in CrabIR (a simple goto-based language)
C++
2
star
6

crab-ebpf

A eBPF verifier based on Crab
C++
1
star
7

clam-tutorial

Examples showing Clam functionality
LLVM
1
star