mic1
☆22Aug 6, 2019Updated 7 years ago
Alternatives and similar repositories for mic1
Users that are interested in mic1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Universal Emulator & Assembler for Old Microprocessors☆17Sep 10, 2018Updated 8 years ago
- A proof-of-concept IEC 61131-3 Compiler.☆17Dec 27, 2019Updated 6 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- Calling a python function from SV, then have this python function call SV tasks. Useful for coding register sequences in python☆12Sep 23, 2022Updated 3 years ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 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.
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- A DSL for runtime code generation in racket☆70May 31, 2022Updated 4 years ago
- ☆10Dec 24, 2020Updated 5 years ago
- ☆11Apr 19, 2018Updated 8 years ago
- A single-header regex-based lexer library for c.☆12Sep 18, 2022Updated 3 years ago
- Programmers 'C' library of functions for: resizable strings, file and network access, string tokenization, pattern matching, terminal out…☆14Aug 27, 2026Updated 2 weeks ago
- Second generation of the HolonForth concept, now applied to general software development. Featuring code structured as books with Chapter…☆12Apr 22, 2018Updated 8 years ago
- Benchmarks, testbenches, and transformed codes for high-level synthesis research☆14Aug 18, 2017Updated 9 years ago
- Tiniest ELF (Executable and Linkable Format) executable☆14Aug 27, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lightweight TFTP server library☆14Jan 3, 2019Updated 7 years ago
- libNeMeSI -- the RTSP/RTP client library (restored from latest upstream git snapshot)☆13Aug 6, 2016Updated 10 years ago
- AX.25 packet radio digipeater for linux☆12Nov 10, 2023Updated 2 years ago
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 7 years ago
- Fixed-point arithmetic in C99☆19Oct 4, 2024Updated last year
- Source for various version of ARDOP☆13Mar 21, 2024Updated 2 years ago
- Fast PnR toolchain for CGRA☆18Jul 26, 2024Updated 2 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆13Nov 13, 2016Updated 9 years ago
- Real-time Transport Protocol☆11Mar 28, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- This repo contains tiny library (Arduino style) for Attiny25/45/85 and several examples☆12Aug 2, 2015Updated 11 years ago
- nand-lang☆15Apr 22, 2018Updated 8 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18May 12, 2021Updated 5 years ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 weeks ago
- VeloxVM: A virtual machine for resource-constrained IoT devices☆15Aug 13, 2026Updated 3 weeks ago
- Human Machine Interface (HMI) suitable for embedded system☆11Jun 2, 2013Updated 13 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- 🎫 High-speed a FNV-1a-128 hash-based UUID.☆16Jul 28, 2021Updated 5 years ago
- Peak : Processor Specification Language ala Newell and Bell's ISP☆21Dec 5, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Secure desgined ESP32 Framework with Update Over the Air (OTA), flash encryption, signed firmware verification, MQTT and non-volatile sto…☆12Oct 20, 2022Updated 3 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Apr 18, 2022Updated 4 years ago
- Alogic is a Medium Level Synthesis language for digital logic that compiles swiftly into standard Verilog-2005 for implementation in ASIC…☆19May 19, 2021Updated 5 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10May 18, 2025Updated last year
- Dynamic arbitrary typed array using fat pointers and macros.☆17Dec 1, 2016Updated 9 years ago
- A modern packet radio framework☆13Jan 26, 2026Updated 7 months ago
- Verified graph rewriting (for dataflow circuits).☆28Jul 15, 2026Updated last month