Lists (1)
Sort Name ascending (A-Z)
Stars
            
              3
                stars
                written in OCaml
            
          
          
            
            Clear filter
        Adds static typing to JavaScript to improve developer productivity and code quality.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Implementations of various type systems in OCaml.