Skip to content
@lac-dcc

Compilers Lab - DCC/UFMG

Popular repositories Loading

  1. honey-potion honey-potion Public

    Writing eBPF programs with Elixir!

    C 263 10

  2. llvm-course llvm-course Public

    Code examples used for the LAC LLVM course

    C++ 130 16

  3. chimera chimera Public

    A tool for synthesizing Verilog programs

    Verilog 72 7

  4. wyvern wyvern Public

    Automatic conversion of call by value into call by need in the LLVM IR.

    C++ 58 5

  5. sepe sepe Public

    Synthesis of Optimized Hash Functions

    C++ 52 3

  6. lif lif Public

    A tool to eliminate timing-based side channels

    LLVM 49 7

Repositories

Showing 10 of 37 repositories
  • HTML 0 0 0 0 Updated Mar 4, 2025
  • manticore Public
    3 GPL-3.0 0 0 0 Updated Mar 1, 2025
  • baku Public

    Benchmark Automation with Knowledge-driven Utilization

    Jupyter Notebook 3 0 5 0 Updated Feb 28, 2025
  • Daedalus Public

    Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.

    C++ 28 GPL-3.0 3 3 (1 issue needs help) 0 Updated Feb 28, 2025
  • hydra Public

    A benchmark game for guessing the hottest point of a program

    C 15 GPL-3.0 0 1 0 Updated Feb 28, 2025
  • chimera Public

    A tool for synthesizing Verilog programs

    Verilog 72 GPL-3.0 7 9 (3 issues need help) 2 Updated Feb 26, 2025
  • BenchGen Public

    Automatic Generation of Benchmarks to Stress-Test Computing Systems.

    TeX 12 Apache-2.0 0 5 0 Updated Feb 23, 2025
  • benchMetrics Public
    C 4 0 0 0 Updated Jan 27, 2025
  • honey-potion Public

    Writing eBPF programs with Elixir!

    C 263 GPL-3.0 10 7 (2 issues need help) 1 Updated Jan 16, 2025
  • sepe Public

    Synthesis of Optimized Hash Functions

    C++ 52 GPL-3.0 3 0 0 Updated Dec 11, 2024