khale

khale's Stars

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia46.1k93124.5k5.5k

• ctjhoa/rust-learning

  A bunch of links to blog posts, articles, videos, etc for learning Rust

  11.6k31227785

• mre/idiomatic-rust

  🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

  Language:Rust6.7k15824207

• dspinellis/unix-history-repo

  Continuous Unix commit history from 1970 until today

  Language:Assembly6.6k2890450

• xoreaxeaxeax/sandsifter

  The x86 processor fuzzer

  Language:Python4.9k16671351

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.6k1371.8k893

• theseus-os/Theseus

  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

  Language:Rust2.9k36205174

• BrunoLevy/learn-fpga

  Learning FPGA, yosys, nextpnr, and RISC-V

  Language:C++2.6k8675249

• hirrolot/datatype99

  Algebraic data types for C99

  Language:C1.4k141523

• faasm/faasm

  High-performance stateful serverless runtime based on WebAssembly

  Language:C++8811312672

• ucb-bar/riscv-mini

  Simple RISC-V 3-stage Pipeline in Chisel

  Language:Scala5543830114

• open-simh/simh

  The Open SIMH simulators package

  Language:C5024413796

• wepay/waltz

  Waltz is a quorum-based distributed write-ahead log for replicating transactions

  Language:Java415283135

• nandland/nandland

  All code found on nandland is here. underconstruction.gif

  Language:Verilog31833871

• grahamedgecombe/icicle

  32-bit RISC-V system on chip for iCE40 FPGAs

  Language:Python303261352

• skyzh/core-os-riscv

  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.

  Language:Rust30351024

• chipsalliance/f4pga-examples

  Example designs showing different ways to use F4PGA toolchains.

  Language:Verilog2702416678

• vmware-labs/node-replicated-kernel

  Experimental kernel with built-in replication.

  Language:Rust1569217

• rust-vmm/vmm-reference

  A VMM implementation based of rust-vmm components

  Language:Rust149218760

• andrastantos/cray-sim

  Cray PVP Simulator

  Language:Assembly13410513

• mars-research/redleaf

  RedLeaf Operating System

  Language:Rust120145010

• dancrossnyc/multics

  Source for the Multics operating system

  Language:Common Lisp108916

• ccelio/chisel-style-guide

  A Style Guide for the Chisel Hardware Construction Language

  10612213

• upenn-acg/ocolos-public

  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.

  Language:C++529716

• cloud-hypervisor/hypervisor-framework

  Crates for the Mac OS Hypervisor bindings and APIs

  Language:Rust36506

• virtines/wasp

  Wasp: micro-hypervisor that enables lightweight, isolated virtines

  Language:C18127

• ScilifelabDataCentre/Publications

  A web-based publications reference database system.

  Language:Python10105203

• SuchyB/CaratCakeArtifact

  810

• brownsys/hotcrp-bar

  Fork of HotCRP for Brown CS Admissions

  Language:PHP270

• HExSA-Lab/mktrace

  A tool to explore performance characteristics of applications in multi-OS systems

  Language:C2111