Repository

Repository di spacejam

199 repository supportati

Mostra repository con issue indicizzate
spacejam/porcupineGo

A fast linearizability checker written in Go 🔎

Ultimo commit 4 giu 2017

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/prm800kPython

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

Ultimo commit 1 giu 2023

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/programming-in-haskellHaskell

exercises, experiments, examples

Ultimo commit 3 apr 2018

 (4 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/proper_generatorsErlang

A Collection of PropEr Generators

Ultimo commit 16 feb 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/prusti-devRust

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

Ultimo commit 5 ott 2021

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/quarkErlang

distributed liveness telemetry

Ultimo commit 2 apr 2015

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/quickGo

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

Ultimo commit 9 mar 2018

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/quickcheckRust

QuickCheck for Rust (with shrinking).

Ultimo commit 13 set 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/quickcheck-tutRust

Ultimo commit 28 mar 2018

 (10 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rasputinRust

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

Ultimo commit 19 gen 2016

 (80 star) (4 fork) (1 issue indicizzata) (1 good first issue aperta)
spacejam/rayonRust

Rayon: A data parallelism library for Rust

Ultimo commit 21 ott 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/repetita-versioC++

A multifaceted looper for the Versio platform.

Ultimo commit 5 lug 2023

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/riak_replErlang

Riak DC Replication

Ultimo commit 7 nov 2017

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rioRust

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

Ultimo commit 21 ago 2020

 (1003 star) (52 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rocksdbC++

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

Ultimo commit 9 lug 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rsdbRust

rust database engineering toolkit

Ultimo commit 6 ago 2021

 (35 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rustRust

Empowering everyone to build reliable and efficient software.

Ultimo commit 29 apr 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rust-analyzerRust

An experimental Rust compiler front-end for IDEs

Ultimo commit 6 mag 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rust-changelogsRust

Ultimo commit 2 nov 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
spacejam/rust-dwm1001Rust

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

Ultimo commit 28 dic 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)