NimContracts
by Udiknedormin
Nim Language design by contract (DbC) library.
AI summary
Contract library
A library that enables contract-based programming in the Nim language.
- stars
- 71
- forks
- 5
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Quantity units library
Provides a statically-typed quantity units library for the Nim language
DNS protocol library
An implementation of the DNS protocol in the Nim programming language.
Contract encoder/decoder
Encodes and decodes parameters according to the Ethereum Contract ABI Specification in Nim.
Library integrator
A toolset for integrating Nim static libraries into C projects
Nim Redis Client
A Redis client library for the Nim programming language
Contract library
A collection of smart contract templates and utilities for implementing Account Abstraction on the Ethereum blockchain.
Contract library
A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions.
Dataframe library
A Nim library providing a dplyr-like API for data manipulation and analysis of dataframes.
Nim toolchain manager
A tool for managing multiple versions of the Nim programming language.
DNS client
A pure Nim implementation of the Domain Name System (DNS) client protocol
nim-lang/nimble1.3K
Package manager
A package manager for the Nim programming language
Nim documentation
A Nim programming language project documenting the author's journey and providing practical applications and tools for working with Nim.
life4/deal760
Contract library
A Python library that enables design by contract programming to write bug-free code with automatic tests and static analysis.
Functional library
A Nim programming language library for functional programming concepts and operations.
Nim interface library
An interface library for Nim programming language
Featured in 1 awesome list
Each link jumps to the spot where the list mentions NimContracts.
