Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Kontroli Rs

Alternative implementation of the logical framework Dedukti in Rust
Stars
19
License
gpl-3.0
Open Issues
1
Most Recent Commit
4 months ago
Programming Language
Rust
Categories
Repo
Alternatives To Kontroli Rs
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Ts Toolbelt6,011npm ts-toolbelt} Downloads260973a year ago928March 10, 202164apache-2.0TypeScript
👷 TypeScript's largest type utility library
Result1,198pypi result} Downloads33434 months ago23December 05, 20234mitPython
A simple Rust like Result type for Python 3. Fully type annotated.
Coulomb13983 months ago9September 30, 202311apache-2.0Scala
coulomb: unit analysis for Scala
Babel Plugin Runtyper117npm babel-plugin-runtyper} Downloads12142 years ago9June 06, 20189JavaScript
⚡️ Runtime type-checker for JavaScript
Dilate80
7 years ago2October 19, 2017apache-2.0Scala
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Pedantic Python Decorators22
4 months agoapache-2.0Python
Some useful decorators for any situation. Includes runtime type checking.
Kontroli Rs19
4 months ago1gpl-3.0Rust
Alternative implementation of the logical framework Dedukti in Rust
Primalize Jsonapi9
6 years ago6June 11, 20181mitRuby
Safetify7npm safetify} Downloads15 years ago14February 19, 2019mitTypeScript
Value type safing utility
Typescript2python6
3 months agomitTypeScript
🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler.
Alternatives To Kontroli Rs
Select To Compare
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928most recent commit a year agonpm ts-toolbelt} Downloads
Result ⭐ 1,198
A simple Rust like Result type for Python 3. Fully type annotated.
dependent packages 43total releases 23most recent commit 4 months agopypi result} Downloads
Coulomb ⭐ 139
coulomb: unit analysis for Scala
dependent packages 8total releases 9most recent commit 3 months ago
Babel Plugin Runtyper ⭐ 117
⚡️ Runtime type-checker for JavaScript
dependent packages 14total releases 9most recent commit 2 years agonpm babel-plugin-runtyper} Downloads
Primalize Jsonapi ⭐ 9
total releases 6most recent commit 6 years ago
Safetify ⭐ 7
Value type safing utility
dependent packages 1total releases 14most recent commit 5 years agonpm safetify} Downloads


Suggest An Alternative To kontroli-rs
Alternative Project Comparisons
Kontroli Rs vs Ts Toolbelt
Kontroli Rs vs Result
Kontroli Rs vs Coulomb
Kontroli Rs vs Babel Plugin Runtyper
Kontroli Rs vs Dilate
Kontroli Rs vs Pedantic Python Decorators
Kontroli Rs vs Primalize Jsonapi
Kontroli Rs vs Safetify
Kontroli Rs vs Typescript2python
Popular Type Safety Projects
Slonik ⭐ 4,154
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 88total releases 340latest release October 31, 2023most recent commit 6 months agonpm slonik} Downloads
Returns ⭐ 3,083
Make your functions return something meaningful, typed, and safe!
dependent packages 58total releases 23latest release August 26, 2023most recent commit 3 months agopypi returns} Downloads
Pgtyped ⭐ 2,700
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 33latest release October 07, 2023most recent commit 3 months agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42latest release June 10, 2020most recent commit 6 months agonpm @hegel/cli} Downloads
Jet ⭐ 1,698
Type safe SQL builder with code generation and automatic query result data mapping
dependent packages 5total releases 32latest release July 24, 2023most recent commit 5 months ago
Popular Type Checking Projects
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44latest release January 26, 2023most recent commit 10 months agonpm ow} Downloads
Thinc ⭐ 2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages 67total releases 229latest release September 22, 2023most recent commit 3 months agopypi thinc} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Rust Types
Types Type Safety
Types Type Checking
Types Typechecker
Type Checking Typechecker
Rust Dependent Types
Rust Typechecker
Rust Type Safety

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Types
Type Safety
Type Checking
Dependent Types
Typechecker
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.