Skip to content

@Barkhausen-Institut Barkhausen Institut gGmbH

Change the repository type filter

All

    Repositories list

    51 repositories

    • hermespy

      Public
      The Heterogeneous Radio Mobile Simulator
      simulatorradarmonte-carlo-simulation
      simulatorradarmonte-carlo-simulationwireless-communication
      Python
      •
      Other
      •22•65•2•0•Updated Jul 7, 2026Jul 7, 2026

    • M3

      Public
      Microkernel-based system for heterogeneous manycores
      Rust
      •
      GNU General Public License v2.0
      •27•14•0•0•Updated Jun 1, 2026Jun 1, 2026

    • risc-v-itree

      Public
      An ITree-based specification of RISC-V in Rocq
      Rocq Prover
      •
      MIT License
      •0•4•0•0•Updated May 11, 2026May 11, 2026

    • workshop-human-machine

      Public
      A workshop for school classes on medical technologies.
      C++
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 20, 2026Apr 20, 2026

    • VeriDP

      Public
      A cryptographic framework for verifiable differentially private stochastic gradient descent (DP-SGD).
      C++
      •
      MIT License
      •0•1•0•0•Updated Mar 13, 2026Mar 13, 2026

    • m3-kecacc-xkcp

      Public
      C
      •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • gem5-TCU

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •3•1•0•0•Updated Feb 27, 2026Feb 27, 2026

    • M3-Bench

      Public
      Benchmarks and tests for M³.
      Shell
      •0•2•0•0•Updated Jan 5, 2026Jan 5, 2026

    • m3-lints

      Public
      Rust
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • linux-bench

      Public
      Linux kernel source tree
      C
      •
      Other
      •64k•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • riscv-pk

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • Ninjapie

      Public
      Python-based build system with a Ninja backend
      Python
      •
      GNU General Public License v2.0
      •1•2•0•0•Updated Jan 5, 2026Jan 5, 2026

    • m3-buildroot

      Public
      Makefile
      •
      Other
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • M3-BSDCoreUtils

      Public
      BSD coreutils is a port of many utilities from BSD to Linux and macOS.
      C
      •
      Other
      •8•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • M3-flac

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • M3-leveldb

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • TCU-if

      Public
      Python
      •1•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • M3-musl

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • vRATLS

      Public
      A formal specification for remote attestation.
      Rocq Prover
      •1•1•3•0•Updated Dec 22, 2025Dec 22, 2025

    • M3-hardware

      Public
      Hardware RTL code for the M³ operating system
      fpgahardwarertl
      fpgahardwarertlverilog
      FIRRTL
      •
      GNU General Public License v3.0
      •1•10•0•0•Updated Dec 12, 2025Dec 12, 2025

    • roadrunner

      Public
      EDA project management
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 14, 2025Nov 14, 2025

    • PQACL

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Sep 29, 2025Sep 29, 2025

    • UE-based-5G-Pentesting-Framework

      Public
      This repository provides a framework to carry out functional and security testing on 5G networks from the UE perspective
      pentesting5gsecuirty
      pentesting5gsecuirty
      Shell
      •
      Other
      •3•10•0•0•Updated Sep 4, 2025Sep 4, 2025

    • V-TRAD

      Public
      All code and material supporting the paper "V-TRAD: A Visually-Augmented Testbed for Research in Autonomous Driving" submitted to the short paper track of the M…
      Python
      •0•0•0•0•Updated Jul 24, 2025Jul 24, 2025

    • AlphaFL

      Public
      Code for the paper: "AlphaFL: Secure Aggregation with Malicious Security for Federated Learning against Dishonest Majority"
      C++
      •
      MIT License
      •3•2•0•0•Updated Jul 16, 2025Jul 16, 2025

    • ratls

      Public
      Remote Attestation Integrated with Transport Layer Security
      C
      •
      Other
      •0•8•0•0•Updated Jun 18, 2025Jun 18, 2025

    • bilib

      Public
      Hardware Building Block Library
      SystemVerilog
      •
      CERN Open Hardware Licence Version 2 - Weakly Reciprocal
      •0•0•0•0•Updated Feb 4, 2025Feb 4, 2025

    • noc-koika

      Public
      An implementation of a Network-on-Chip using [Koika](https://github.com/mit-plv/koika)
      Coq
      •
      MIT License
      •0•0•0•1•Updated Jan 29, 2025Jan 29, 2025

    • koika

      Public
      A core language for rule-based hardware design 🦑
      Coq
      •
      GNU General Public License v3.0
      •20•3•2•7•Updated Nov 13, 2024Nov 13, 2024

    • AntennaArraySimulator

      Public
      to be edited
      Python
      •2•3•0•0•Updated Sep 30, 2024Sep 30, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.