Skip to content

@Midstall Midstall

Change the repository type filter

All

    Repositories list

    67 repositories

    • heimdall

      Public
      Post-silicon hardware verification suite for FPGA's and CPU's
      Rust
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 3, 2026Jun 3, 2026

    • harbor

      Public
      ROHD extensions for physical implementation: ASIC tapeout flows, FPGA build support, and reusable components.
      rohd
      rohd
      Dart
      •
      Apache License 2.0
      •0•3•0•0•Updated Jun 3, 2026Jun 3, 2026

    • nixpkgs

      Public
      Nix Packages collection & NixOS
      Nix
      •
      MIT License
      •19k•0•0•6•Updated Jun 2, 2026Jun 2, 2026

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      LLVM
      •
      Other
      •17k•0•0•2•Updated May 28, 2026May 28, 2026

    • aegis

      Public
      Open source FPGA silicon
      fpgasiliconrohd
      fpgasiliconrohd
      Dart
      •
      Apache License 2.0
      •17•319•2•2•Updated May 27, 2026May 27, 2026

    • wasmtime

      Public
      A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
      Rust
      •
      Apache License 2.0
      •1.7k•0•0•3•Updated May 4, 2026May 4, 2026

    • rohd-hcl

      Public
      A hardware component library developed with ROHD.
      Dart
      •
      BSD 3-Clause "New" or "Revised" License
      •37•0•0•0•Updated May 3, 2026May 3, 2026

    • asix

      Public
      Nix flake bundling PDKs, tapeout flows, and verification tooling for silicon
      nixasic
      nixasic
      Nix
      •
      Apache License 2.0
      •0•2•0•0•Updated Apr 26, 2026Apr 26, 2026

    • .github

      Public
      0•0•0•0•Updated Apr 26, 2026Apr 26, 2026

    • river

      Public
      Modular RISC-V implementation & SoC
      emulatorsimulatorassembler
      emulatorsimulatorassemblerrisc-vrohd
      Dart
      •
      GNU Lesser General Public License v2.1
      •0•16•0•1•Updated Apr 24, 2026Apr 24, 2026

    • nextpnr

      Public
      nextpnr portable FPGA place and route tool
      C++
      •
      ISC License
      •310•0•0•0•Updated Apr 21, 2026Apr 21, 2026

    • riscv-isa-manual

      Public
      RISC-V Instruction Set Manual
      TeX
      •
      Creative Commons Attribution 4.0 International
      •836•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • old-website

      Public
      HTML
      •0•0•0•0•Updated Aug 28, 2025Aug 28, 2025

    • blog

      Public
      Our blog
      Nix
      •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • microrv

      Public
      Micro RISC-V is a tiny RV32IM core designed for embedded control, peripheral management, and soft-core experimentation.
      Dart
      •
      MIT License
      •0•2•0•0•Updated Aug 2, 2025Aug 2, 2025

    • zig

      Public
      General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
      Zig
      •
      MIT License
      •3.1k•0•0•0•Updated Jul 17, 2025Jul 17, 2025

    • libdrm.zig

      Public
      libdrm port to zig
      linuxdrmmesa
      linuxdrmmesa
      Zig
      •
      GNU General Public License v3.0
      •0•2•0•1•Updated May 16, 2025May 16, 2025

    • expat.zig

      Public
      Expat packaged in Zig
      Zig
      •
      MIT License
      •2•0•0•1•Updated Apr 23, 2025Apr 23, 2025

    • ziggybox

      Public
      Busybox in Zig
      linux-shell
      linux-shell
      Zig
      •
      GNU General Public License v3.0
      •0•2•0•1•Updated Mar 15, 2025Mar 15, 2025

    • zon2nix

      Public
      Convert the dependencies in `build.zig.zon` to a Nix expression [maintainer=@figsoda]
      Zig
      •
      Mozilla Public License 2.0
      •21•0•0•0•Updated Mar 3, 2025Mar 3, 2025

    • nulibc

      Public
      A libc implemented in Zig
      Zig
      •
      MIT License
      •0•3•1•1•Updated Jan 3, 2025Jan 3, 2025

    • shoyu

      Public
      GTK based wlroots
      gtk3gtk4wlroots
      gtk3gtk4wlroots
      C
      •
      GNU Affero General Public License v3.0
      •0•0•0•2•Updated Jan 2, 2025Jan 2, 2025

    • NomicsOS

      Public
      A cloud-container based operating system built around NixOS
      dockernixosqemu
      dockernixosqemulibvirt
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•9•0•3•Updated Dec 16, 2024Dec 16, 2024

    • dart.zig

      Public
      Dart compiled with Zig
      Zig
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 8, 2024Dec 8, 2024

    • boringssl.zig

      Public
      Boringssl compiled with Zig
      Zig
      •
      MIT License
      •1•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • icu.zig

      Public
      ICU in Zig
      Zig
      •
      MIT License
      •1•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • zlib.zig

      Public
      Zlib compiled in Zig
      Zig
      •
      MIT License
      •1•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • bluez.dart

      Public
      Dart
      •
      Mozilla Public License 2.0
      •24•0•0•1•Updated Jul 12, 2024Jul 12, 2024

    • mobile-nixos

      Public
      C
      •
      MIT License
      •237•5•6•0•Updated Jun 21, 2024Jun 21, 2024

    • flutter

      Public
      Flutter makes it easy and fast to build beautiful apps for mobile and beyond
      Dart
      •
      BSD 3-Clause "New" or "Revised" License
      •30k•0•0•0•Updated May 10, 2024May 10, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.