Skip to content

@Barkhausen-Institut Barkhausen Institut gGmbH

Change the repository type filter

All

    Repositories list

    41 repositories

    • noc-koika

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

    • vRATLS

      Public
      A formal specification for RATLS (remote attestation embedded into TLS).
      Coq
      •1•0•3•0•Updated Dec 9, 2024Dec 9, 2024

    • hermespy

      Public
      The Heterogeneous Radio Mobile Simulator
      radarmonte-carlo-simulationwireless-communicationsimulator
      Python
      •
      Other
      •16•37•2•1•Updated Dec 4, 2024Dec 4, 2024

    • koika

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

    • M3

      Public
      Microkernel-based system for heterogeneous manycores
      Rust
      •
      GNU General Public License v2.0
      •25•7•0•0•Updated Nov 4, 2024Nov 4, 2024

    • Ninjapie

      Public
      Python-based build system with a Ninja backend
      Python
      •
      GNU General Public License v2.0
      •1•2•0•0•Updated Nov 4, 2024Nov 4, 2024

    • TCU-if

      Public
      Python
      •2•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • AntennaArraySimulator

      Public
      to be edited
      Python
      •2•1•0•0•Updated Sep 30, 2024Sep 30, 2024

    • PQACL

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Jul 19, 2024Jul 19, 2024

    • M3-hardware

      Public
      Hardware RTL code for the M³ operating system
      fpgahardwarertlverilog
      FIRRTL
      •
      GNU General Public License v3.0
      •1•4•0•0•Updated Jul 15, 2024Jul 15, 2024

    • usrp_uhd_wrapper

      Public
      This repo wraps the Universal Hardware Driver for accessing the USRP X410 for easier use of burst-based use-cases.
      Python
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated May 31, 2024May 31, 2024

    • M3Lx

      Public
      Rust
      •0•0•0•0•Updated May 30, 2024May 30, 2024

    • M3-Bench

      Public
      Benchmarks and tests for M³.
      Shell
      •0•0•0•0•Updated May 29, 2024May 29, 2024

    • gem5-TCU

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •3•1•0•1•Updated May 28, 2024May 28, 2024

    • M3-musl

      Public
      C
      •
      Other
      •0•0•0•0•Updated May 24, 2024May 24, 2024

    • m3-buildroot

      Public
      Makefile
      •
      Other
      •0•0•0•0•Updated Apr 9, 2024Apr 9, 2024

    • linux-bench

      Public
      Linux kernel source tree
      C
      •
      Other
      •54k•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • M3-leveldb

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • M3-BSDCoreUtils

      Public
      BSD coreutils is a port of many utilities from BSD to Linux and macOS.
      C
      •
      Other
      •6•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • bench-lx

      Public
      C
      •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • NRE

      Public
      NOVA runtime environment
      C++
      •
      GNU General Public License v2.0
      •15•0•0•0•Updated Feb 8, 2024Feb 8, 2024

    • NOVA

      Public
      NOVA Microhypervisor
      C++
      •
      Other
      •106•0•0•0•Updated Feb 8, 2024Feb 8, 2024

    • riscv-pk

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • m3-kecacc-xkcp

      Public
      C
      •0•0•0•0•Updated Jan 19, 2024Jan 19, 2024

    • lcm-sec

      Public
      Lightweight Communications and Marshalling with Security
      Java
      •
      GNU Lesser General Public License v2.1
      •393•1•0•0•Updated Oct 2, 2023Oct 2, 2023

    • rb-render

      Public
      Rust
      •0•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • M3-flac

      Public
      C
      •
      Other
      •0•0•0•0•Updated Mar 29, 2023Mar 29, 2023

    • buildroot

      Public
      Makefile
      •
      Other
      •0•0•0•0•Updated Nov 29, 2022Nov 29, 2022

    • ui-prototyping-library

      Public
      Example how Corola creates user interfaces for demonstrators
      JavaScript
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 11, 2022Nov 11, 2022

    • jcas-mmwave-platform

      Public
      Source code and documentation for using a mmWave PXI system for research on joint communication and sensing (JCAS)
      LabVIEW
      •
      GNU Affero General Public License v3.0
      •3•2•0•0•Updated Oct 4, 2022Oct 4, 2022