Technolution BV (Technolution)

Technolution BV

Technolution

Geek Repo

Location:Gouda, The Netherlands

Home Page:http://www.technolution.eu/

Github PK Tool:Github PK Tool

Technolution BV's repositories

rustig

A tool to detect code paths leading to Rust's panic handler

Language:RustLicense:Apache-2.0Stargazers:217Issues:4Issues:11

rust-gouda-meetup-1

Support files for the first Rust meetup in Gouda

cocotb

Coroutine Co-simulation Test Bench

Language:PythonLicense:NOASSERTIONStargazers:2Issues:3Issues:0

riscv-security-tutorial

4th RISC-V Workshop Security Tutorial

Language:CLicense:NOASSERTIONStargazers:2Issues:1Issues:0

riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC 6.1.0

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

riscv-linux

RISC-V Linux Port

Language:CStargazers:1Issues:2Issues:0

dbus-java

Improved version of java DBus library provided by freedesktop.org (https://dbus.freedesktop.org/doc/dbus-java/) Forked for improvements/fixes

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:MakefileStargazers:0Issues:2Issues:0
Language:MakefileStargazers:0Issues:3Issues:0

frenox-tools

meta archive to build the frenox toolchain and linux environment

Language:MakefileStargazers:0Issues:3Issues:0

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:0Issues:2Issues:0

riscv-newlib

RISC-V port of newlib

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

riscv-pk

RISC-V Proxy Kernel

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

strongswan

strongSwan - IPsec-based VPN

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

FFmpeg

mirror of git://source.ffmpeg.org/ffmpeg.git

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

riscv-binutils-gdb

RISC-V port of GDB

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

riscv-dejagnu

DejaGnu RISC-V port

Language:TeXLicense:GPL-3.0Stargazers:0Issues:2Issues:0

riscv-fesvr

RISC-V Frontend Server

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

riscv-glibc

RISC-V port of GNU's libc

Language:CLicense:GPL-2.0Stargazers:0Issues:3Issues:0

riscv-isa-sim

Spike, a RISC-V ISA Simulator

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

riscv-libffi

RISC-V libffi port

Language:CStargazers:0Issues:2Issues:0

riscv-poky

Port of the Yocto Project to the RISC-V ISA

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:RustStargazers:0Issues:4Issues:0