A security oriented SoC featuring a custom pipelined RISC-V core and LCD-TFT controller
☆19Dec 26, 2020Updated 5 years ago
Alternatives and similar repositories for pretty-secure-processor
Users that are interested in pretty-secure-processor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- Minimal end-to-end LTE using srsRAN. Dockerized and emulated radio over shared memory.☆11Jun 7, 2021Updated 5 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆16Feb 1, 2025Updated last year
- Linux kernel source tree with changes to support LVBS with Hyper-V☆22Sep 12, 2024Updated last year
- Source code for DABANGG attack.☆10Mar 26, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆20Updated this week
- ☆14Nov 8, 2023Updated 2 years ago
- RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits☆19Nov 1, 2024Updated last year
- Remote Attestation VErification☆35Jul 29, 2024Updated 2 years ago
- ☆30Sep 18, 2024Updated last year
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 6 years ago
- ☆26Jul 19, 2024Updated 2 years ago
- A collection of codes, articles and courses material by ccc☆37Feb 24, 2018Updated 8 years ago
- ☆27Feb 19, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Sep 12, 2025Updated 11 months ago
- protostar docker version☆14Dec 23, 2020Updated 5 years ago
- Device description files (architecture, timing, configuration bitstream, and general documentation) for EOS S3 MCU+eFPGA SoC☆27Sep 1, 2021Updated 5 years ago
- Ethereum Block Explorer☆14Updated this week
- A connector to Rainbow Bridge that allows sending $NEAR to Ethereum as an ERC-20 token (eNEAR)☆10Mar 29, 2025Updated last year
- ☆22Apr 13, 2026Updated 4 months ago
- ☆13Aug 14, 2020Updated 6 years ago
- ☆27Jun 18, 2026Updated 2 months ago
- Frontend for ENS Nifty dapp☆13Dec 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆27Apr 14, 2026Updated 4 months ago
- staking contract with time lock and time based "internal" rewards and (optionally) token☆10Apr 9, 2024Updated 2 years ago
- The next generation DEX on Solana. HydraSwap is dedicated to provide users with CEX-level trading experience.☆10Jun 5, 2021Updated 5 years ago
- 🚀 Ethereum Block explorer☆11Apr 24, 2023Updated 3 years ago
- They Hunger reimplementation from scratch.☆13Dec 21, 2025Updated 8 months ago
- Dungeon Loot multiple character game built on Solana, with NFT, DeFi and storefront☆11Oct 15, 2021Updated 4 years ago
- Insecure reference example for the 2022 Collegiate eCTF☆13Apr 6, 2022Updated 4 years ago
- ☆17Jun 26, 2025Updated last year
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A risc v based architecture to develop a core/ processor which is capable of Matrix MAC Operations☆13May 31, 2026Updated 3 months ago
- Verilator / Imgui sim for 3DO FPGA core attempt☆13Jan 29, 2023Updated 3 years ago
- An ICP/Cycles Market☆10Jan 27, 2022Updated 4 years ago
- OpenIMSs open source environment for real life development of IMS based 4G/5G/NR voice/video/data/RCS/IM services☆32Oct 31, 2023Updated 2 years ago
- Privacy Protected On-chain Identity Based on Zero Knowledge Proof☆10Apr 3, 2023Updated 3 years ago
- docker image for web mining bananos☆10Mar 13, 2020Updated 6 years ago
- PAWSTECH kitter garden diree☆14Aug 26, 2026Updated last week