-
sam2 Public
Forked from facebookresearch/sam2The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…
Jupyter Notebook Apache License 2.0 UpdatedDec 25, 2024 -
mycelium Public
Forked from hawkw/mycelium🍄 an alleged 'operating system'
Rust MIT License UpdatedMar 17, 2024 -
pbrt-v4 Public
Forked from mmp/pbrt-v4Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.
C++ Apache License 2.0 UpdatedAug 4, 2023 -
octox Public
Forked from o8vm/octoxUnix-like OS in Rust inspired by xv6-riscv
Rust UpdatedJul 25, 2023 -
lilos Public
Forked from cbiffle/lilosA wee async RTOS for Cortex-M
Rust Mozilla Public License 2.0 UpdatedJul 2, 2023 -
database-stream-processing-theory Public
Forked from tchajed/database-stream-processing-theoryFormalization of DBSP
Lean Other UpdatedJan 3, 2023 -
SSD-pytorch Public
Forked from vietnh1009/SSD-pytorchSSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity
Python MIT License UpdatedFeb 10, 2021 -
android-rss Public
Lightweight Android library to parse RSS 2.0 feeds.
-
-
A secure embedded operating system for microcontrollers
Rust Other UpdatedSep 13, 2019 -
xv6-riscv-book Public
Forked from mit-pdos/xv6-riscv-bookText describing xv6 on RISC-V
TeX Other UpdatedSep 11, 2019 -
-
wabt Public
Forked from WebAssembly/wabtThe WebAssembly Binary Toolkit
C++ Apache License 2.0 UpdatedJun 9, 2018 -
llvm Public
Forked from llvm-mirror/llvmMirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
LLVM Other UpdatedMay 18, 2018 -
-
-
benchmarks Public
A hub for sharing ideas on planning, executing and evaluating benchmarks.
-
-
z3test Public
Forked from Z3Prover/z3testTest and benchmark repository for Z3.
C# UpdatedJun 17, 2015 -
-
jepsen Pu B883 blic
Forked from jepsen-io/jepsenCall Me Maybe: simulating network partitions in DBs
Clojure Other UpdatedJan 30, 2015 -
cpp-channel Public
Experimental Go-style concurrency for C++11
-
Source-to-source transformation to call native symbolic execution library and SMT Kit
-
A textbook on informal homotopy type theory
TeX UpdatedJul 5, 2014 -
spanning-tree-factorization Public
Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail
-
-
xv6 Public
A simple Unix-like teaching operating system developed by MIT
-
plan9 Public
Forked from brho/plan9UC Berkeley release of Plan 9 under the GPLv2
-
MpiDepAnalysis Public
LLVM analysis to find control dependencies on MPI calls
C++ UpdatedFeb 13, 2014 -
{{ message }}