Tynan McAuley (tymcauley)

tymcauley

Geek Repo

Company:@GaloisInc

Github PK Tool:Github PK Tool

Tynan McAuley's repositories

arbitrary-int

A modern and lightweight implementation of arbitrary integers for Rust

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

barstools

Useful utilities for BAR projects

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

chipyard

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

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

chisel

Chisel 3: A Modern Hardware Design Language

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

constellation

A Chisel RTL generator for network-on-chip interconnects

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0

dotfiles

My collection of configuration files

Language:ShellStargazers:0Issues:2Issues:0

dsptools

A Library of Chisel3 Tools for Digital Signal Processing

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

fern

Simple, efficient logging for Rust

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

firrtl-spec

The specification for the FIRRTL language

Language:TeXStargazers:0Issues:1Issues:0

llvm-vim-syntax

vim language files for LLVM filetypes

Language:Vim ScriptStargazers:0Issues:2Issues:0

null-ls.nvim

Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.

Language:LuaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nvdla-sw

NVDLA SW adjusted for FireSim Linux Simulations

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

riscv-isa-manual

RISC-V Instruction Set Manual

Language:TeXLicense:CC-BY-4.0Stargazers:0Issues:2Issues:0
Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

fixedpoint

Chisel Fixed-Point Arithmetic Library

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

nvdla-workload

Base NVDLA Workload for FireMarshal

Language:ShellStargazers:0Issues:1Issues:0

nvdla-wrapper

Wraps the NVDLA project for Chipyard integration

Stargazers:0Issues:0Issues:0

nvim-web-devicons

lua `fork` of vim-web-devicons for neovim

Language:LuaStargazers:0Issues:1Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

riscv-boom

SonicBOOM: The Berkeley Out-of-Order Machine

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

rocket-chip

Rocket Chip Generator

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rocket-chip-blocks

RTL blocks compatible with the Rocket Chip Generator

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

rocket-chip-inclusive-cache

An RTL generator for a last-level shared inclusive TileLink cache controller

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

rocket-dsp-utils

Tools for integrating DspTools components into a rocket-chip

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

spike-dasm-rs

Rust implementation of spike's RISC-V disassembler, spike-dasm

Language:RustStargazers:0Issues:2Issues:0
Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

verible

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, and formatter.

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

XenOrchestraInstallerUpdater

xen-orchestra automated installer and updater

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