gameboo

gameboo's Stars

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust19.6k2091.5k1.6k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.7k1815.6k1.5k

• xmake-io/xmake

  🔥 A cross-platform build utility based on Lua

  Language:Lua10.6k1413.4k819

• google/skywater-pdk

  Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

  Language:Python3.1k158274401

• elfshaker/elfshaker

  elfshaker stores binary objects efficiently

  Language:Rust2.3k226145

• sustrik/libdill

  Structured concurrency in C

  Language:C1.9k68136163

• olofk/serv

  SERV - The SErial RISC-V CPU

  Language:Verilog1.5k3863200

• shshemi/tabiew

  A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.

  Language:Rust84863819

• blawar/ooot

  Language:C++6982921491

• yassinebridi/serpl

  A simple terminal UI for search and replace, ala VS Code.

  Language:Rust6095235

• Myself086/Project-Nested

  Language:Assembly521376218

• llvm-hs/llvm-hs

  Haskell bindings for LLVM

  Language:LLVM51522191121

• hanabi/hanabi.github.io

  A list of Hanabi strategies

  Language:TypeScript1657627170

• riscv/riscv-profiles

  RISC-V Architecture Profiles

  Language:Makefile1332414237

• riscvarchive/riscv-platform-specs

  RISC-V Profiles and Platform Specification

  Language:Makefile113392039

• blarney-lang/blarney

  Haskell library for hardware description

  Language:Haskell1019811

• AsianKoala/nvim

  my neovim config

  Language:Lua83113

• riscv-software-src/riscof

  Language:Python71128643

• jamiebuilds/dark-mode-github-readme-logos

  How to make logos in your README that support GitHub's new dark mode

  664076

• rsnikhil/Learn_Bluespec_and_RISCV_Design

  Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)

  Language:Verilog627411

• riscv/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:Python612121035

• rubyworks/tapout

  TAP-Y/J Test Harness

  Language:Ruby53479

• Ben1152000/sootty

  A command-line tool for displaying vcd waveforms.

  Language:Python5143114

• CTSRD-CHERI/SIMTight

  Synthesisable SIMT-style RISC-V GPGPU

  Language:Assembly30868

• CTSRD-CHERI/RVBS

  RISC-V BSV Specification

  Language:Bluespec18822

• pavel-a/devmemX

  Program to read/write from/to any location in physical memory (cloned from devmem or devmem2). See wiki.

  Language:C1871514

• ArgonDesign/alogic

  Alogic is a Medium Level Synthesis language for digital logic that compiles swiftly into standard Verilog-2005 for implementation in ASIC or FPGA.

  Language:Scala13807

• doublescale/rastermizer

  View 3D models in the terminal

  Language:Haskell10200

• jmmut/bioengineer

  Game about automating terraformation in 3D maps, ant-style.

  Language:Rust9200

• CTSRD-CHERI/Recipe

  A BSV libary providing features similar to the Stmt sub-language

  Language:Bluespec3380