Stars
A massively parallel, high-level programming language
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"
Termcolor is a header-only C++ library for printing colored messages to the terminal. Written just for fun with a help of the Force.
C/C++ library to create formatted ASCII tables for console applications
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
A wrapper script to build whole-program LLVM bitcode files
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Showcase examples for EPFL logic synthesis libraries
LLVM test suite benchmarks (260 benchmarks - 36 test suites)
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
A compiler and scenario generator for the Scenic scenario description language.
Open source SVG symbol sets that can be used as Inkscape symbols
Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4
Verilator open-source SystemVerilog simulator and lint system
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
SQL powered operating system instrumentation, monitoring, and analytics.