Roland Bernard's repositories
kleine-riscv
A small and simple rv32i core written in Verilog
is-project
Repository for the project in an information security course
adventofcode-2022
My solutions for the Advent of Code 2022
adventofcode-2023
My solutions for the Advent of Code 2023
adventofcode-all
All my solutions to the Advent of Code
factplusplus
Fork of the FaCT++ reasoner for OWL 2 DL
llvm-project
My fork of the LLVM Project repository. The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ontologyutils
A suite of utility functions and applications for engineering OWL ontologies.
paper-axiom-weakening
This repository contains the source for a paper?
protege-weakening
Protégé plugin that adds support for axiom weakening
rolandbernard
Just a special repository for my profile README.md
rolandbernard.github.io
A repository for my GitHub Pages website
sudoku-solver
A simple webapp for solving sudokus
suedtirol-weather
Web frontend for displaying the weather data of the Open Data Hub Südtirol
task-planner
This software tries to solve a version of the vehicle routing problem.
thesis-axiom-weakening
This repository contains the text for my bachelor thesis
tinycloud
Web application focused on storing files
vscode-clangd
My fork of the Visual Studio Code extension for clangd
wasmtime
A fast and secure runtime for WebAssembly