☆11Apr 29, 2024Updated 2 years ago
Alternatives and similar repositories for naming
Users that are interested in naming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆16Aug 17, 2021Updated 4 years ago
- Compare the given environment variable value across all the processes☆16Dec 5, 2024Updated last year
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- ☆41Jun 5, 2024Updated 2 years ago
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 9 years ago
- 📜 DN42 network components all in one docker-compose.yml file.☆25Mar 8, 2023Updated 3 years ago
- Towards a million-node RISC-V cluster.☆14Mar 6, 2025Updated last year
- Digital oscilloscope based on stm32☆11Jan 9, 2023Updated 3 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 4 years ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- 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.
- OS Tutorial Summer of Code 2020☆19Jun 7, 2022Updated 4 years ago
- Canvas: End-to-End Kernel Architecture Search in Neural Networks☆27Nov 18, 2024Updated last year
- Unified front-end client for various 3rd-party search services.☆13Mar 18, 2019Updated 7 years ago
- ☆21Apr 7, 2023Updated 3 years ago
- RISC-V VM in Bash☆29Apr 3, 2025Updated last year
- A tiny judging environment for OI contest☆35Aug 28, 2018Updated 7 years ago
- *CPC Rank: A quality score about competitive programming contest in Mainland China☆14Sep 15, 2022Updated 3 years ago
- Run SPEC CPU 2017 benchmark on OpenHarmony/HarmonyOS NEXT☆38Jun 18, 2025Updated 11 months ago
- ☆14Dec 15, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆14Jan 4, 2021Updated 5 years ago
- Rebar3 plugin to interact with Nix ecosystem☆14Jan 11, 2022Updated 4 years ago
- A fake SSH tarpit that logs passwords and commands from attackers☆38Dec 16, 2025Updated 5 months ago
- Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS☆16Mar 25, 2026Updated 2 months ago
- ChatGPT Telegram bot☆52May 28, 2026Updated last week
- GNU Guix zephyrRTOS integration☆16Apr 3, 2026Updated 2 months ago
- Qt/QML 女生自用教学课程 | Self-taught Qt/QML Tutorial☆35Sep 20, 2021Updated 4 years ago
- Implementing the Precise Runahead (HPCA'20) in gem5☆14Oct 5, 2023Updated 2 years ago
- Source code of generator of my (new) blog☆12Nov 10, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Core implementations of an open-source secure key☆407May 28, 2026Updated 2 weeks ago
- A powerful prompt template engine built upon Jinja☆12Oct 22, 2025Updated 7 months ago
- Source Code of https://blog.poi.cat☆13May 10, 2023Updated 3 years ago
- ☆23Feb 15, 2023Updated 3 years ago
- A simple stream-based bilibili live client library.☆18Apr 7, 2025Updated last year
- A "gym" style toolkit for building lightweight NAS systems.☆13Jun 13, 2022Updated 3 years ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 4 years ago