Skip to content

@Technolution Technolution BV

Change the repository type filter

All

    Repositories list

    29 repositories

    • rust-workshop

      Public
      Rust
      •1•0•0•0•Updated Jun 3, 2025Jun 3, 2025

    • cocotb

      Public
      Coroutine Co-simulation Test Bench
      Python
      •
      Other
      •612•2•0•0•Updated Sep 12, 2024Sep 12, 2024

    • strongswan

      Public
      strongSwan - IPsec-based VPN
      C
      •
      Other
      •886•0•0•0•Updated Apr 12, 2024Apr 12, 2024

    • estuary

      Public
      Rust
      •9•0•0•0•Updated Sep 8, 2021Sep 8, 2021

    • rustig

      Public
      A tool to detect code paths leading to Rust's panic handler
      analysisrust-langrustlangelflinux-appdwarfrust-crate
      Rust
      •
      Apache License 2.0
      •9•220•9•12•Updated Aug 2, 2021Aug 2, 2021

    • dbus-java

      Public
      Improved version of java DBus library provided by freedesktop.org (https://dbus.freedesktop.org/doc/dbus-java/) Forked for improvements/fixes
      Java
      •
      Other
      •76•0•0•0•Updated Apr 26, 2021Apr 26, 2021

    • sharpen_imazen

      Public
      Java
      •
      GNU General Public License v2.0
      •4•0•0•0•Updated Nov 15, 2019Nov 15, 2019

    • rust

      Public
      A safe, concurrent, practical language.
      Rust
      •
      Other
      •15k•0•0•0•Updated Mar 15, 2018Mar 15, 2018

    • rust-gouda-meetup-1

      Public
      Support files for the first Rust meetup in Gouda
      Shell
      •1•3•0•0•Updated Mar 5, 2018Mar 5, 2018

    • frenox-linux

      Public
      Makefile
      •0•0•0•0•Updated Oct 11, 2017Oct 11, 2017

    • riscv-pk

      Public
      RISC-V Proxy Kernel
      C
      •
      Other
      •334•0•0•0•Updated Oct 11, 2017Oct 11, 2017

    • riscv-libffi

      Public
      RISC-V libffi port
      C
      •5•0•0•0•Updated Jul 29, 2017Jul 29, 2017

    • frenox-buildroot

      Public
      Makefile
      •0•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-linux

      Public
      RISC-V Linux Port
      C
      •218•1•0•0•Updated Jul 4, 2017Jul 4, 2017

    • frenox-tools

      Public
      meta archive to build the frenox toolchain and linux environment
      Makefile
      •0•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-isa-sim

      Public
      Spike, a RISC-V ISA Simulator
      C
      •
      Other
      •1k•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-glibc

      Public
      RISC-V port of GNU's libc
      C
      •
      GNU General Public License v2.0
      •87•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-gcc

      Public
      C
      •
      GNU General Public License v2.0
      •274•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-binutils-gdb

      Public
      RISC-V port of GDB
      C
      •
      GNU General Public License v2.0
      •236•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-newlib

      Public
      RISC-V port of newlib
      C
      •
      GNU General Public License v2.0
      •117•0•0•0•Updated Jul 4, 2017Jul 4, 2017

    • riscv-gnu-toolchain

      Public
      GNU toolchain for RISC-V, including GCC 6.1.0
      C
      •
      Other
      •1.3k•1•0•0•Updated Jul 4, 2017Jul 4, 2017

    • FFmpeg

      Public
      mirror of git://source.ffmpeg.org/ffmpeg.git
      C
      •
      Other
      •14k•0•0•0•Updated Mar 15, 2017Mar 15, 2017

    • ghdl

      Public
      VHDL 2008/93/87 simulator
      VHDL
      •
      GNU General Public License v2.0
      •406•0•0•0•Updated Nov 16, 2016Nov 16, 2016

    • riscv-fesvr

      Public
      RISC-V Frontend Server
      C++
      •
      Other
      •82•0•0•0•Updated Oct 27, 2016Oct 27, 2016

    • riscv-poky

      Public
      Port of the Yocto Project to the RISC-V ISA
      Python
      •
      Other
      •43•0•0•0•Updated Oct 18, 2016Oct 18, 2016

    • riscv-tests

      Public
      C
      •
      Other
      •531•0•0•0•Updated Oct 7, 2016Oct 7, 2016

    • riscv-test-env

      Public
      C
      •
      Other
      •118•0•0•0•Updated Oct 7, 2016Oct 7, 2016

    • riscv-dejagnu

      Public
      DejaGnu RISC-V port
      TeX
      •
      GNU General Public License v3.0
      •81•0•0•0•Updated Aug 5, 2016Aug 5, 2016

    • riscv-security-tutorial

      Public
      4th RISC-V Workshop Security Tutorial
      C
      •
      Other
      •1•2•0•0•Updated Jul 9, 2016Jul 9, 2016