Pinned Loading

1. PWC PWC Public

   Paper With Code

   Python

2. typeinfer typeinfer Public

   A static type inference tool that reports potential bugs by detecting type violations

   Rust

3. ParameterGuard ParameterGuard Public

   ParameterGuard: Detecting Unsafe Usage of Function Parameters Based on Heuristic Approach

   Go 1

4. gochan gochan Public

   Adopts Golang principles for effective thread communication in Haskell

   Haskell

5. grparser grparser Public

   Rust-binding for Go-lang IR

   Rust

6. LEC LEC Public

   LLVM-based Extended Compiler for Security Improvement

   Haskell