Search: github.com/checkr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

991.

Type witness in Rust examples – type check all the things

github.com/tinybeachthor

2 years ago

3 points

992.

Beartype: The bare-metal type checker

github.com/beartype

2 years ago

3 points

993.

Crik – checkpoint and restore in Kubernetes (CRIU)

github.com/qawolf

2 years ago

3 points

994.

A collection of relevant RSS sources with an algorithm to check connectivity

github.com/Martinviv

2 years ago

3 points

995.

Shac: A framework for writing and running static analysis checks

github.com/shac-project

3 years ago

3 points

996.

Porcupine is a fast linearizability checker for distributed systems

github.com/anishathalye

3 years ago

3 points

997.

Checking Causal Consistency the Easy Way

github.com/endpointservices

3 years ago

3 points

998.

Ezno: A TypeScript checker written in Rust

github.com/kaleidawave

3 years ago

3 points

999.

Flux is a refinement type checker for Rust

github.com/flux-rs

3 years ago

3 points

1000.

Type annotations and runtime checking for shape and dtype

github.com/google

3 years ago

3 points