Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Isabelle Hardware Models

Hardware decoding net model in Isabelle/HOL
Stars
8
License
bsd-2-clause
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
Isabelle
Categories
Repo
Alternatives To Isabelle Hardware Models
Select To Compare
Mpv ⭐ 24,954
🎥 Command line video player
dependent packages 1total releases 1most recent commit 5 months ago
Httpx ⭐ 11,772
A next generation HTTP client for Python. 🦋
dependent packages 3,751total releases 66most recent commit 5 months agopypi httpx} Downloads
Mapstructure ⭐ 7,404
Go library for decoding generic map values into native Go structures and vice versa.
dependent packages 22,647total releases 19most recent commit 5 months ago
Io Ts ⭐ 6,479
Runtime type system for IO decoding/encoding
dependent packages 1,354total releases 120most recent commit 6 months agonpm io-ts} Downloads
Gopacket ⭐ 5,967
Provides packet processing capabilities for Go
dependent packages 1,393total releases 55most recent commit 5 months ago
Quaggajs ⭐ 4,793
An advanced barcode-scanner written in JavaScript
dependent packages 45total releases 41most recent commit a year agonpm quagga} Downloads
Jansson ⭐ 2,892
C library for encoding, decoding and manipulating JSON data
dependent packages 2total releases 4most recent commit 6 months ago


Suggest An Alternative To Isabelle-hardware-models
Popular Data Processing Categories
Jupyter Notebook
Dataset
Sql
Validation
Pipeline
Translation
Data Science
Classification
Transaction
Scraper

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Decoding
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.