Popular repositories Loading

1. jpf-core jpf-core Public

   Forked from javapathfinder/jpf-core

   JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

   Java

2. sv-comp sv-comp Public

   Forked from javapathfinder/sv-comp

   Information to reproduce results from SV-COMP

3. makim makim Public

   Forked from osl-incubator/makim

   Makim is inspired by tools like Make and Ansible, focusing on improving task definition and dependency management. Instead of using the Makefile format, it utilizes YAML for defining tasks.

   Python

4. astx astx Public

   Forked from arxlang/astx

   Python

5. lfortran lfortran Public

   Forked from lfortran/lfortran

   Official main repository for LFortran

   C++

6. lpython lpython Public

   Forked from lcompilers/lpython

   Python compiler

   C++