facebook-infer

Here are 2 public repositories matching this topic...

harmim / vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser

facebook static-analysis ocaml concurrency project program-analysis abstract-interpretation atomicity vut vut-fit facebook-infer atomicity-violation project-practice

Updated May 12, 2022
Java

This is a repository for the coursework of CW2 and CW3 of COMP0103 - Validation and Verification module. The coursework is about investigating how well language models (LLMs) of different sizes can solve LeetCode problems in Java code.

python testing leetcode-java facebook-infer llm-inference ollama

Updated Apr 10, 2024
Java

Improve this page

Add a description, image, and links to the facebook-infer topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the facebook-infer topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

facebook-infer

Here are 2 public repositories matching this topic...

harmim / vut-pp1

davidfrisch / vv_cw_2

Improve this page

Add this topic to your repo