リポジトリ

spacejam のリポジトリ

199 件の対応リポジトリ

索引済み issue があるリポジトリを表示
spacejam/porcupineGo

A fast linearizability checker written in Go 🔎

最終コミット 2017/06/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/prm800kPython

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

最終コミット 2023/06/01

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/programming-in-haskellHaskell

exercises, experiments, examples

最終コミット 2018/04/03

 (4 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/proper_generatorsErlang

A Collection of PropEr Generators

最終コミット 2015/02/16

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/prusti-devRust

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

最終コミット 2021/10/05

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/quarkErlang

distributed liveness telemetry

最終コミット 2015/04/02

 (2 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/quickGo

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

最終コミット 2018/03/09

 (2 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/quickcheckRust

QuickCheck for Rust (with shrinking).

最終コミット 2016/09/13

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/quickcheck-tutRust

最終コミット 2018/03/28

 (10 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rasputinRust

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

最終コミット 2016/01/19

 (80 stars) (4 forks) (1 件の索引済み issue) (1 件のオープンな good first issue)
spacejam/rayonRust

Rayon: A data parallelism library for Rust

最終コミット 2016/10/21

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/repetita-versioC++

A multifaceted looper for the Versio platform.

最終コミット 2023/07/05

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/riak_replErlang

Riak DC Replication

最終コミット 2017/11/07

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rioRust

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

最終コミット 2020/08/21

 (1,003 stars) (52 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rocksdbC++

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

最終コミット 2016/07/09

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rsdbRust

rust database engineering toolkit

最終コミット 2021/08/06

 (35 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rustRust

Empowering everyone to build reliable and efficient software.

最終コミット 2020/04/29

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rust-analyzerRust

An experimental Rust compiler front-end for IDEs

最終コミット 2019/05/06

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rust-changelogsRust

最終コミット 2022/11/02

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
spacejam/rust-dwm1001Rust

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

最終コミット 2018/12/28

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)