-
triton Public
Forked from triton-lang/tritonDevelopment repository for the Triton language and compiler
C++ MIT License UpdatedDec 25, 2023 -
revm Public
Forked from bluealloy/revmRevolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Rust MIT License UpdatedNov 19, 2022 -
Theseus Public
Forked from theseus-os/TheseusTheseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware t…
Rust MIT License UpdatedNov 17, 2022 -
verona Public
Forked from microsoft/veronaResearch programming language for concurrent ownership
C++ MIT License UpdatedNov 17, 2022 -
ante Public
Forked from jfecher/anteA safe, easy systems language
Rust MIT License UpdatedNov 17, 2022 -
-
zephyr Public
Forked from zephyrproject-rtos/zephyrPrimary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
C Apache License 2.0 UpdatedOct 26, 2022 -
eldiro Public
Forked from lunacookies/eldiroLearn to make your own programming language with Rust
Rust Apache License 2.0 UpdatedMay 20, 2022 -
-
algebra Public
Forked from arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Apache License 2.0 UpdatedMar 15, 2022 -
smack Public
Forked from smackers/smackSMACK Software Verifier and Verification Toolchain
C Other UpdatedJan 28, 2022 -
Spartan Public
Forked from microsoft/SpartanSpartan: High-speed zkSNARKs without trusted setup
Rust MIT License UpdatedOct 14, 2021 -
slimbootloader Public
Forked from slimbootloader/slimbootloaderVisit http://slimbootloader.github.io for documentation
C Other UpdatedSep 29, 2021 -
dusk-zerocaf Public
Forked from dusk-network/dusk-zerocafZerocaf: A library built for EC operations in Zero Knowledge.
Rust MIT License UpdatedAug 20, 2021 -
clang-llvm-tutorial Public
Forked from lijiansong/clang-llvm-tutorialclang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
C++ Do What The F*ck You Want To Public License UpdatedAug 15, 2021 -
linux-sgx-driver Public
Forked from intel/linux-sgx-driverIntel SGX Linux* Driver
C Other UpdatedAug 10, 2021 -
Reference example code of key/value store design for Persistent Memory
C++ Other UpdatedAug 9, 2021 -
OrbLang Public
Forked from vplesko/OrbLangOrb programming language
C++ MIT License UpdatedMay 19, 2021 -
rose Public
Forked from rose-compiler/roseDeveloped at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…
C Other UpdatedApr 5, 2021 -
-
-
-
kernelflinger Public
Forked from intel/kernelflingerC BSD 2-Clause "Simplified" License UpdatedOct 28, 2019 -
hardware-intel-kernelflinger Public
Forked from projectceladon/hardware-intel-kernelflingerC BSD 2-Clause "Simplified" License UpdatedOct 22, 2019 -
-
device-androidia Public
Forked from projectceladon/device-androidiaMakefile Other UpdatedSep 18, 2019 -
celadon-documentation Public
Forked from projectceladon/celadon-documentationDocumentation for project Celadon
HTML UpdatedSep 17, 2019 -
bootable-live-installer Public
Forked from zhoulihuagithub/bootable-live-installerC Other UpdatedSep 12, 2019 -
device-androidia-mixins Public
Forked from projectceladon/device-androidia-mixinsMakefile UpdatedSep 11, 2019 -
{{ message }}