Popular repositories Loading

1. cc-blif-benchmarks cc-blif-benchmarks Public

   Combinational circuit benchmarks (for testing and experimental purposes) in BLIF

   2

2. tree-aut-lib tree-aut-lib Public

   python implementation of tree automata based binary decision diagrams

   Jupyter Notebook

3. but-fit-projects but-fit-projects Public

   A collection of interesting small projects completed as part of various courses during studies at BUT FIT.

   C++

4. go-compiler-in-c go-compiler-in-c Public

   Compiler from a subset of Go language to an assembly-like code, written completely in C. Completed as a part of Formal Languages and Compilers course at BUT FIT.

   C

5. logdetective logdetective Public

   Forked from fedora-copr/logdetective

   Analyze logs using Language Model (LLM) and Drain template miner.

   Python

6. logdetective-website logdetective-website Public

   Forked from fedora-copr/logdetective-website

   Data collection and inference web page for Log Detective AI

   Python