traitor
Trait system
An interface system for generic programming in Nim that uses tuples to define traits and dynamic dispatch on signatures.
Trait/interface system for Nim, allowing semi-checked generics or dynamic dispatch on signatures.
28 stars
2 watching
0 forks
Language: Nim
last commit: 3 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
tk3369/binarytraits.jl | A package that enables simple and easy-to-use trait-based dispatch in Julia | 53 |
rust-lang/chalk | An implementation of the Rust trait system using a PROLOG-like logic solver | 1,843 |
thejpster/console-traits | A simple text-based console library for the Rust programming language | 3 |
nidnogg/zeitfetch | Provides cross-platform instant snapshot of system information | 57 |
arctic-hen7/diana | A GraphQL system designed to work out of the box with full support for subscriptions and authentication | 39 |
ropensci/traits | Provides an R interface to species trait data from various sources | 41 |
sweirich/challenge | An implementation of a strongly-typed System F in Haskell | 117 |
microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
ciscocollabtme/pyintegration | A Python application that integrates with Webex Teams to authenticate users and display their names on a target page | 5 |
archshift/dynstack | A stack implementation for trait objects in Rust to minimize allocations | 126 |
cartalyst/sentry | A framework agnostic authentication system with additional features such as user groups and security features. | 1,542 |
traitecoevo/austraits | Provides access to and manipulation of plant trait data from an Australian database | 19 |
emo-crab/scap-rs | A collection of Rust libraries for working with vulnerability data from various sources. | 16 |
codeintegrity-ai/mutahunter | Automated unit test generation and mutation testing tool using Large Language Models. | 243 |
roguemacro/steak.logging | Provides logging functionality for a specific programming language | 4 |