Popular repositories Loading

1. kotiki-engine kotiki-engine Public

   C++ 1

2. riscv-check riscv-check Public

   This repository contains code for evaluating the code coverage of the bitmanip code generation for RISC-V architecture. The code generation is performed using a specific toolchain and compiler.

   C

3. ortgl ortgl Public

   Interpreter for a Turing-complete language like C

   C

4. Petri_presentation Petri_presentation Public

   Petri Nets presentation

   TeX

5. datalog-translator datalog-translator Public

   Haskell

6. datalog-interpreter datalog-interpreter Public