NimContracts
Contract library
A library that enables contract-based programming in the Nim language.
Nim Language design by contract (DbC) library.
71 stars
3 watching
5 forks
Language: Nim
last commit: 4 months ago
Linked from 1 awesome list
ringabout/awesome-nimRelated projects:
| Repository | Description | Stars |
|---|---|---|
| udiknedormin/nimunits | Provides a statically-typed quantity units library for the Nim language | 38 |
 rockcavera/nim-dnsprotocol | An implementation of the DNS protocol in the Nim programming language. | 17 |
 codex-storage/nim-contract-abi | Encodes and decodes parameters according to the Ethereum Contract ABI Specification in Nim. | 3 |
 dkgitdev/nimnxstatic | A toolset for integrating Nim static libraries into C projects | 3 |
 nim-lang/redis | A Redis client library for the Nim programming language | 128 |
 bcnmy/scw-contracts | A collection of smart contract templates and utilities for implementing Account Abstraction on the Ethereum blockchain. | 123 |
 sellout/quid-pro-quo | A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions. | 95 |
 scinim/datamancer | A Nim library providing a dplyr-like API for data manipulation and analysis of dataframes. | 133 |
 dom96/choosenim | A tool for managing multiple versions of the Nim programming language. | 681 |
| rockcavera/nim-ndns | A pure Nim implementation of the Domain Name System (DNS) client protocol | 22 |
| nim-lang/nimble | A package manager for the Nim programming language | 1,261 |
 xmonader/nimdays | A Nim programming language project documenting the author's journey and providing practical applications and tools for working with Nim. | 212 |
 life4/deal | A Python library that enables design by contract programming to write bug-free code with automatic tests and static analysis. | 754 |
 vegansk/nimfp | A Nim programming language library for functional programming concepts and operations. | 134 |
 andreaferretti/interfaced | An interface library for Nim programming language | 31 |