☆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:
- 我看见你了，所以我收录你。I see you (ICU), so I digest you. https://digest.icu☆10Dec 10, 2021Updated 4 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 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
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆16Aug 17, 2021Updated 4 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.
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 5 years ago
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Milk-V Vega Official buildroot SDK☆16Apr 2, 2026Updated 4 months ago
- 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
- Towards a million-node RISC-V cluster.☆14Mar 6, 2025Updated last year
- 📜 DN42 network components all in one docker-compose.yml file.☆26Mar 8, 2023Updated 3 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 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.
- Digital oscilloscope based on stm32☆11Jan 9, 2023Updated 3 years ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- 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
- OS Tutorial Summer of Code 2020☆19Jun 7, 2022Updated 4 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Dec 15, 2022Updated 3 years ago
- 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
- Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS☆17Jul 3, 2026Updated last month
- A fake SSH tarpit that logs passwords and commands from attackers☆38Jun 7, 2026Updated 2 months ago
- ChatGPT Telegram bot☆52Jul 27, 2026Updated 2 weeks ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 4 years ago
- Implementing the Precise Runahead (HPCA'20) in gem5☆15Oct 5, 2023Updated 2 years ago
- Qt/QML 女生自用教学课程 | Self-taught Qt/QML Tutorial☆35Sep 20, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Core implementations of an open-source secure key☆412Jun 23, 2026Updated last month
- A powerful prompt template engine built upon Jinja☆12Oct 22, 2025Updated 9 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.☆19Apr 7, 2025Updated last year
- Source code of generator of my (new) blog☆12Nov 10, 2024Updated last year
- A "gym" style toolkit for building lightweight NAS systems.☆13Jun 13, 2022Updated 4 years ago