Dépôts

Dépôts de spacejam

199 dépôts pris en charge

Afficher les dépôts avec des issues indexées
spacejam/porcupineGo

A fast linearizability checker written in Go 🔎

Dernier commit 4 juin 2017

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/prm800kPython

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

Dernier commit 1 juin 2023

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/programming-in-haskellHaskell

exercises, experiments, examples

Dernier commit 3 avr. 2018

 (4 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
spacejam/proper_generatorsErlang

A Collection of PropEr Generators

Dernier commit 16 févr. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/prusti-devRust

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

Dernier commit 5 oct. 2021

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/quarkErlang

distributed liveness telemetry

Dernier commit 2 avr. 2015

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/quickGo

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

Dernier commit 9 mars 2018

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/quickcheckRust

QuickCheck for Rust (with shrinking).

Dernier commit 13 sept. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/quickcheck-tutRust

Dernier commit 28 mars 2018

 (10 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rasputinRust

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

Dernier commit 19 janv. 2016

 (80 stars) (4 forks) (1 issue indexée) (1 good first issue ouverte)
spacejam/rayonRust

Rayon: A data parallelism library for Rust

Dernier commit 21 oct. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/repetita-versioC++

A multifaceted looper for the Versio platform.

Dernier commit 5 juil. 2023

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/riak_replErlang

Riak DC Replication

Dernier commit 7 nov. 2017

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rioRust

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

Dernier commit 21 août 2020

 (1 003 stars) (52 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rocksdbC++

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

Dernier commit 9 juil. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rsdbRust

rust database engineering toolkit

Dernier commit 6 août 2021

 (35 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rustRust

Empowering everyone to build reliable and efficient software.

Dernier commit 29 avr. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rust-analyzerRust

An experimental Rust compiler front-end for IDEs

Dernier commit 6 mai 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rust-changelogsRust

Dernier commit 2 nov. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
spacejam/rust-dwm1001Rust

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

Dernier commit 28 déc. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)