Repositórios

Repositórios de spacejam

199 repositórios suportados

Mostrar repositórios com issues indexadas
spacejam/porcupineGo

A fast linearizability checker written in Go 🔎

Último commit 4 de jun. de 2017

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/prm800kPython

800,000 step-level correctness labels on LLM solutions to MATH problems

Último commit 1 de jun. de 2023

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/programming-in-haskellHaskell

exercises, experiments, examples

Último commit 3 de abr. de 2018

 (4 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
spacejam/proper_generatorsErlang

A Collection of PropEr Generators

Último commit 16 de fev. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/prusti-devRust

A static verifier for Rust, based on the Viper verification infrastructure.

Último commit 5 de out. de 2021

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/quarkErlang

distributed liveness telemetry

Último commit 2 de abr. de 2015

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/quickGo

property testing with shrinking, drop-in compatible with testing/quick

Último commit 9 de mar. de 2018

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/quickcheckRust

QuickCheck for Rust (with shrinking).

Último commit 13 de set. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/quickcheck-tutRust

Último commit 28 de mar. de 2018

 (10 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rasputinRust

(getting to be a) hard to kill scalable linearizabe store

Último commit 19 de jan. de 2016

 (80 stars) (4 forks) (1 issue indexada) (1 good first issue aberta)
spacejam/rayonRust

Rayon: A data parallelism library for Rust

Último commit 21 de out. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/repetita-versioC++

A multifaceted looper for the Versio platform.

Último commit 5 de jul. de 2023

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/riak_replErlang

Riak DC Replication

Último commit 7 de nov. de 2017

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rioRust

pure rust io_uring library, built on libc, thread & async friendly, misuse resistant

Último commit 21 de ago. de 2020

 (1.003 stars) (52 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rocksdbC++

A library that provides an embeddable, persistent key-value store for fast storage.

Último commit 9 de jul. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rsdbRust

rust database engineering toolkit

Último commit 6 de ago. de 2021

 (35 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rustRust

Empowering everyone to build reliable and efficient software.

Último commit 29 de abr. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rust-analyzerRust

An experimental Rust compiler front-end for IDEs

Último commit 6 de mai. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rust-changelogsRust

Último commit 2 de nov. de 2022

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
spacejam/rust-dwm1001Rust

Board support crate for the Decawave DWM1001/DWM1001-Dev boards.

Último commit 28 de dez. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)