mic1
☆22Aug 6, 2019Updated 6 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:
- A proof-of-concept IEC 61131-3 Compiler.☆17Dec 27, 2019Updated 6 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- ☆32Sep 7, 2018Updated 7 years ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- 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.
- combined object/lambda architcture☆26May 2, 2009Updated 17 years 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 8 years ago
- Generally useful macros for C/C++ programming☆13Jun 29, 2024Updated 2 years ago
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated last year
- Lightweight TFTP server library☆14Jan 3, 2019Updated 7 years ago
- Fixed-point arithmetic in C99☆18Oct 4, 2024Updated last year
- Fast PnR toolchain for CGRA☆18Jul 26, 2024Updated 2 years ago
- This repository contains a minimalistic Pascal compiler implemented in C, covering lexical and syntax analysis. It serves as a learning r…☆10Dec 7, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This repo contains tiny library (Arduino style) for Attiny25/45/85 and several examples☆11Aug 2, 2015Updated 11 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 6 years ago
- Standard functions for PLC as described by IEC61131☆14Apr 17, 2023Updated 3 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☆19Jul 9, 2026Updated 3 weeks ago
- VeloxVM: A virtual machine for resource-constrained IoT devices☆15Updated this week
- An R package to assist people answering R questions on Stack Overflow☆13Jun 19, 2020Updated 6 years ago
- Verilog AST☆21Dec 2, 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.
- Code for the arduino-controlled VFO based on the Si5351 chip☆15May 12, 2016Updated 10 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 3 years ago
- Radio control software☆18Feb 8, 2026Updated 5 months ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Peak : Processor Specification Language ala Newell and Bell's ISP☆21Dec 5, 2023Updated 2 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Apr 18, 2022Updated 4 years ago
- An example distributed lock using Replicant.☆16Jan 8, 2014Updated 12 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
- Dynamic arbitrary typed array using fat pointers and macros.☆17Dec 1, 2016Updated 9 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.
- A maintained IEC61131 to C transpiler☆44Mar 23, 2021Updated 5 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆17Aug 10, 2012Updated 13 years ago
- Neovim plugin for importing annotations and metadata from PDFs☆30May 21, 2020Updated 6 years ago
- PLC-EMU is a Programmable Logic Controller EMUlator for automation applications on linux with digital/analog IO cards☆20Jan 6, 2023Updated 3 years ago
- FreeRTOS HAL Driver☆11Feb 8, 2022Updated 4 years ago
- Trie implementation of a CIDR lookup table☆18May 20, 2015Updated 11 years ago
- 🦖 A Compiler for PL/0 plus language (something like PASCAL)☆16Jan 10, 2025Updated last year