Skip to content
@lac-dcc

Compilers Lab - DCC/UFMG

Popular repositories Loading

  1. honey-potion honey-potion Public

    Writing eBPF programs with Elixir!

    C 296 11

  2. llvm-course llvm-course Public

    Code examples used for the LAC LLVM course

    C++ 136 17

  3. chimera chimera Public

    A tool for synthesizing Verilog programs

    Verilog 122 14

  4. wyvern wyvern Public

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

    C++ 62 6

  5. sepe sepe Public

    Synthesis of Optimized Hash Functions

    C++ 55 4

  6. lif lif Public

    A tool to eliminate timing-based side channels

    LLVM 50 6

Repositories

Showing 10 of 50 repositories
  • honey-potion Public

    Writing eBPF programs with Elixir!

    lac-dcc/honey-potion's past year of commit activity
    C 296 GPL-3.0 11 9 (4 issues need help) 1 Updated Sep 7, 2026
  • Vishap Public

    Value-Domain Analysis

    lac-dcc/Vishap's past year of commit activity
    MLIR 6 GPL-3.0 0 0 0 Updated Sep 3, 2026
  • adlet Public

    Sparsity propagation enabled by static analysis.

    C++ 10 GPL-3.0 2 0 1 Updated Sep 2, 2026
  • proteus Public

    Implementation of Sparsity Propagation Analysis on MLIR

    lac-dcc/proteus's past year of commit activity
    MLIR 13 GPL-3.0 2 0 0 Updated Aug 26, 2026
  • lac-dcc/lac-dcc.github.io's past year of commit activity
    HTML 2 0 0 0 Updated Aug 22, 2026
  • benchMetrics Public
    lac-dcc/benchMetrics's past year of commit activity
    C 3 0 0 0 Updated Aug 10, 2026
  • Kiriko Public
    lac-dcc/Kiriko's past year of commit activity
    C 12 Apache-2.0 1 0 0 Updated Aug 7, 2026
  • mlir-probe Public

    MLIR dialect for observing runtime values of tensors

    lac-dcc/mlir-probe's past year of commit activity
    C++ 8 GPL-3.0 0 0 0 Updated Jul 25, 2026
  • BenchGen Public

    Automatic Generation of Benchmarks to Stress-Test Computing Systems.

    lac-dcc/BenchGen's past year of commit activity
    TeX 47 Apache-2.0 2 8 (3 issues need help) 1 Updated Jun 21, 2026
  • rarog Public

    Memory allocation heuristics for tensor programs

    lac-dcc/rarog's past year of commit activity
    C++ 7 GPL-3.0 2 1 1 Updated Jun 19, 2026

Top languages

Loading…