Tim Hutt (Timmmm)

Timmmm

Geek Repo

Company:Codasip

Github PK Tool:Github PK Tool

Tim Hutt's repositories

anakin

Kill orphan processes

Language:RustLicense:MITStargazers:105Issues:4Issues:1

robocut

Control vinyl cutters, including Craft Robo, Silhouette, Cameo and Portrait

Language:C++License:GPL-3.0Stargazers:80Issues:9Issues:8

autorebase

Automatically rebase all your branches onto master

excalidraw_export

CLI to export Excalidraw drawings to SVG and PDF with working fonts.

wavery

Alternative to GtkWave

Language:CStargazers:4Issues:0Issues:0

sail_vscode

VSCode extension for the Sail ISA specification language

Language:RustLicense:MITStargazers:2Issues:3Issues:0

vscode

Visual Studio Code

Language:TypeScriptLicense:MITStargazers:2Issues:2Issues:0

riscv-asm-manual

RISC-V Assembly Programmer's Manual

License:CC-BY-4.0Stargazers:1Issues:0Issues:0
License:BSD-3-ClauseStargazers:1Issues:0Issues:0

sail

Sail architecture definition language

Language:IsabelleLicense:NOASSERTIONStargazers:1Issues:1Issues:0

sail-riscv

Sail RISC-V model

Language:CoqLicense:NOASSERTIONStargazers:1Issues:1Issues:0

argh

Rust derive-based argument parsing optimized for code size

Language:RustLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

asciidoctor

:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.

License:NOASSERTIONStargazers:0Issues:0Issues:0

book-1

The Rust on ESP Book

License:Apache-2.0Stargazers:0Issues:0Issues:0

buck2

Build system, successor to Buck

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

custom_regex_lint

Custom regex linter for pre-commit.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

docs-dev-guide

Documentation developer guide

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

esp-idf-template

A "Hello, world!" template of a Rust binary crate for the ESP-IDF framework.

Stargazers:0Issues:0Issues:0

linux-pam

Linux PAM (Pluggable Authentication Modules for Linux) project

License:NOASSERTIONStargazers:0Issues:0Issues:0

lockfw

Firmware for a DIY smart lock

Language:RustStargazers:0Issues:0Issues:0

python-constraint

Constraint Solving Problem resolver for Python

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

python_issue

Code to reproduce an issue in Python/Pyright

Language:ShellStargazers:0Issues:0Issues:0

riscv-cheri

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

Language:PythonLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

riscv-docs-base-container-image

A base container image populated with the dependencies to build the RISC-V Documentation.

License:Apache-2.0Stargazers:0Issues:0Issues:0

riscv-isa-manual

RISC-V Instruction Set Manual

License:CC-BY-4.0Stargazers:0Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0

setup-osxcross

Github Action for setting up osxcross in a github action for cross compiling from Linux to Mac

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

slurm_query

Query SLURM jobs

Language:RustStargazers:0Issues:0Issues:0

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

License:MITStargazers:0Issues:0Issues:0

verilator

Verilator open-source SystemVerilog simulator and lint system

Language:C++License:LGPL-3.0Stargazers:0Issues:1Issues:0