computer science
☆41Jun 2, 2019Updated 7 years ago
Alternatives and similar repositories for thinking-in-cs
Users that are interested in thinking-in-cs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- example using the httpapi connection plugin☆11Sep 19, 2018Updated 7 years ago
- DWARF-based stack walks with eBPF☆13Aug 18, 2021Updated 5 years ago
- nyar 是一个用 Rust 编写的任务管理程序，它可以让您在后台运行和管理各种任务，例如定时任务，启动任务，重启任务等。☆14May 19, 2026Updated 3 months ago
- A simple Lua debugger supporting breakpoints☆15Nov 11, 2021Updated 4 years ago
- Getting started with Zephyr RTOS on BluePill STM32F103C8 board☆16Aug 24, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Linux kernel source tree☆14Jul 7, 2026Updated last month
- host memory buffer feature based on OpenFabrics NVMe Windows driver☆15Dec 8, 2017Updated 8 years ago
- Reading a book on how to implement an interpreter in Ruby and adding my own spin to things. A place for me to experiment as I learn about…☆19Feb 22, 2015Updated 11 years ago
- Alpha64 R10000 Two-Way Superscalar Processor☆12May 6, 2019Updated 7 years ago
- 仿生扑翼机☆14Sep 23, 2020Updated 5 years ago
- A GUI pretending to be a DE1 for visualizing Verilog sims☆10Oct 17, 2020Updated 5 years ago
- A minimal imgui project template☆10Feb 6, 2023Updated 3 years ago
- Vim gdb base on Neovim + Tmux☆14Jun 16, 2021Updated 5 years ago
- Not regularly updated clone of http://git.dpdk.org/dpdk-stable/ with the purpose to develop a new driver for corundum/mqnic (https://gith…☆16Aug 24, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Buddy allocator, forked from the toyos repository.☆15Jul 25, 2021Updated 5 years ago
- ☆12May 31, 2016Updated 10 years ago
- A DMA Controller for RISCV CPUs☆13Aug 10, 2015Updated 11 years ago
- ☆17Nov 25, 2017Updated 8 years ago
- A development server for running LiaScript code snippets☆16May 28, 2026Updated 3 months ago
- The hardware implementation of UDP in Bluespec SystemVerilog☆14Jun 3, 2024Updated 2 years ago
- BiscuitOS Broiler an X86 emulator and virtualizer. Run BiscuitOS Distro for Mainstram Linux on X86 Architecture.☆21Nov 10, 2024Updated last year
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆13Apr 17, 2024Updated 2 years ago
- ☆17Aug 19, 2025Updated last year
- 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.
- Build edk2 development and debugging environment under win10, for recording some notes and writing self tools.☆13Aug 14, 2022Updated 4 years ago
- Contains the code for the Flexus cycle-accurate simulator, used in QFlex.☆14Jul 14, 2026Updated last month
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆121Sep 24, 2025Updated 11 months ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 6 months ago
- Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++☆14Mar 11, 2021Updated 5 years ago
- Python Verilog-AMS Parser☆12Oct 13, 2015Updated 10 years ago
- Accept payments on your React Native-based apps with cards, wallets, and key local payment methods☆21Sep 7, 2021Updated 4 years ago
- HeliosXCore is a Superscalar Out-of-order RISC-V Processor Core.☆10Mar 8, 2024Updated 2 years ago
- Linux kernel source tree☆21Aug 17, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- gateware for the main fpga, including a hispi decoder and image processing☆13Sep 27, 2018Updated 7 years ago
- Verification of Ethernet Switch System Verilog☆12Oct 21, 2016Updated 9 years ago
- "No technology that's connected to the internet is unhackable." ― Abhijit Naskar☆28Nov 22, 2019Updated 6 years ago
- WISHBONE Builder☆15Sep 10, 2016Updated 9 years ago
- ☆34Jul 21, 2026Updated last month
- ASIC Design lab. Pipelined, Cached, Multicore MIPS Processor☆11Aug 23, 2017Updated 9 years ago
- NeoPixel LED Controller | NeoPixel LED 控制器 | 基於MAX10 FPGA的音樂全彩光立方LED控制器☆12Jan 4, 2022Updated 4 years ago