Repositories

spacejam Repositories

199 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
spacejam/porcupineGo

A fast linearizability checker written in Go 🔎

Letzter Commit 04.06.2017

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/prm800kPython

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

Letzter Commit 01.06.2023

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/programming-in-haskellHaskell

exercises, experiments, examples

Letzter Commit 03.04.2018

 (4 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
spacejam/proper_generatorsErlang

A Collection of PropEr Generators

Letzter Commit 16.02.2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/prusti-devRust

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

Letzter Commit 05.10.2021

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/quarkErlang

distributed liveness telemetry

Letzter Commit 02.04.2015

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/quickGo

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

Letzter Commit 09.03.2018

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/quickcheckRust

QuickCheck for Rust (with shrinking).

Letzter Commit 13.09.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/quickcheck-tutRust

Letzter Commit 28.03.2018

 (10 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rasputinRust

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

Letzter Commit 19.01.2016

 (80 Stars) (4 Forks) (1 indexiertes Issue) (1 offenes good first issue)
spacejam/rayonRust

Rayon: A data parallelism library for Rust

Letzter Commit 21.10.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/repetita-versioC++

A multifaceted looper for the Versio platform.

Letzter Commit 05.07.2023

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/riak_replErlang

Riak DC Replication

Letzter Commit 07.11.2017

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rioRust

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

Letzter Commit 21.08.2020

 (1.003 Stars) (52 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rocksdbC++

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

Letzter Commit 09.07.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rsdbRust

rust database engineering toolkit

Letzter Commit 06.08.2021

 (35 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rustRust

Empowering everyone to build reliable and efficient software.

Letzter Commit 29.04.2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rust-analyzerRust

An experimental Rust compiler front-end for IDEs

Letzter Commit 06.05.2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rust-changelogsRust

Letzter Commit 02.11.2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
spacejam/rust-dwm1001Rust

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

Letzter Commit 28.12.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)