Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Formal

Playing around with Formal Verification of Verilog and VHDL
Stars
15
License
mit
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
Assembly
Categories
Repo
Suggest An Alternative To formal
Popular Vhdl Projects
Ghdl ⭐ 2,184
VHDL 2008/93/87 simulator
total releases 1latest release September 04, 2020most recent commit a month ago
Cocotb ⭐ 1,583
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
dependent packages 22total releases 44latest release October 06, 2023most recent commit 19 days agopypi cocotb} Downloads
Popular Fetch Projects
Swr ⭐ 29,304
React Hooks for Data Fetching
dependent packages 1,110total releases 157latest release September 25, 2023most recent commit 20 days agonpm swr} Downloads
Fetch ⭐ 25,801
A window.fetch JavaScript polyfill.
dependent packages 9,330total releases 50latest release September 11, 2023most recent commit 9 days agonpm whatwg-fetch} Downloads
Ky ⭐ 11,014
🌳 Tiny & elegant JavaScript HTTP client based on the browser Fetch API
dependent packages 456total releases 67latest release November 01, 2023most recent commit 3 months agonpm ky} Downloads
Node Fetch ⭐ 8,636
A light-weight module that brings the Fetch API to Node.js
dependent packages 37,424total releases 96latest release August 23, 2023most recent commit 2 months agonpm node-fetch} Downloads
Popular Hardware Categories
Arduino
Raspberry Pi
Camera
Sensor
Gpu
Firmware
Usb
Keyboard
Cpu
Arm

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Assembly
Fetch
Vhdl
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.