Generic implementation of ASiC-E archives in accordance with ETSI 102 918 v1.3.1.
☆34Jul 16, 2026Updated this week
Alternatives and similar repositories for efm-asic
Users that are interested in efm-asic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learn and build GPU RTL from scratch☆22Aug 1, 2025Updated 11 months ago
- ☆15Jan 11, 2024Updated 2 years ago
- Virtual Platform for AWS FPGA support☆16Oct 19, 2018Updated 7 years ago
- Turns an Arduino (I used a RedStick from Sparkfun) in a cryptography token, allowing you to encrypt and decrypt messages with an unknown …☆12Mar 5, 2017Updated 9 years ago
- Simulates Attacks of AB16 on Argon2i☆11Aug 4, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Tiny Tapeout GDS Action (using LibreLane)☆24Updated this week
- Samples of applications written in Javascript using Maven dependencies bootstrapped with Nasven☆11Nov 9, 2015Updated 10 years ago
- Output Go structure template from JSON structure☆10May 11, 2015Updated 11 years ago
- run ssh, https, and openvpn on the same port☆15Feb 5, 2014Updated 12 years ago
- ☆43Updated this week
- python implmentation of the racadm tool☆12Nov 23, 2023Updated 2 years ago
- ☆11Jul 8, 2026Updated last week
- Sample project to emit/handle events using bus package☆12Dec 11, 2021Updated 4 years ago
- Dat's way of encoding and decoding dat links [ DEPRECATED - see https://github.com/mafintosh/abstract-encoding and https://github.com/com…☆19Jan 6, 2022Updated 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.
- Our workflow, gemified.☆11Dec 14, 2015Updated 10 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 6 months ago
- Examples for using Sonar metric collector with Prometheus, Akumuli and InfluxDB.☆16Oct 8, 2018Updated 7 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 5 months ago
- The open source repository for the atProtocol specification and supporting documentation☆16Updated this week
- Systèmes d'Exploitation [II F - EL et Info]☆12Mar 28, 2017Updated 9 years ago
- online decision-making platform☆14Sep 10, 2023Updated 2 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆38May 28, 2026Updated last month
- 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.
- GCounter CRDT Implemented in Go & Docker☆16Sep 5, 2020Updated 5 years ago
- Read a directory of files☆23Jul 14, 2019Updated 7 years ago
- BSD Administration Scripts v2☆21Apr 28, 2026Updated 2 months ago
- SAMPLE: Elixir Application☆13Jan 26, 2021Updated 5 years ago
- Unsorted files for Minsky's TT2500 computer☆14Mar 27, 2024Updated 2 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10May 16, 2026Updated 2 months ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 6 years ago
- A tool that records instantaneous linux load (runnabel thread count) in 1mec intervals and logs it in jHiccup-like format☆19Dec 9, 2016Updated 9 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.
- A very simple cli helper that encrypts files in directories using AES-GCM (128bit)☆16Oct 22, 2025Updated 9 months ago
- Looks for publicly-readable RSA private keys and opens an issue on that repo notifying the owner.☆16Feb 15, 2013Updated 13 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Sorting an array in a natural way☆21Apr 20, 2022Updated 4 years ago
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago