-
lockfree-object-pool Public
Forked from EVaillant/lockfree-object-poolObject Pool LockFree in Rust
-
mad-turmoil Public
Forked from s2-streamstore/mad-turmoilmadsim-inspired determinism for turmoil-based simulation tests
Rust Apache License 2.0 UpdatedApr 24, 2025 -
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedApr 24, 2025 -
turmoil Public
Forked from tokio-rs/turmoilAdd hardship to your tests
Rust MIT License UpdatedApr 23, 2025 -
-
half-rs Public
Forked from VoidStarKat/half-rsHalf-precision floating point types f16 and bf16 for Rust.
Rust Other UpdatedMar 14, 2025 -
-
-
-
-
-
boogie Public
A (not yet) complete implementation of a Boogie parser and pretty-printer
-
-
Why3-Find Public
This is a fork of https://git.frama-c.com/pub/why3find
OCaml Other UpdatedJul 30, 2024 -
-
VerifiedDBM Public
Forked from ruth561/VerifiedDBMDBM Implementation Verified by Creusot
Rust UpdatedJul 3, 2024 -
ui_test Public
Forked from oli-obk/ui_testA test framework for testing rustc diagnostics output
Rust UpdatedMay 28, 2024 -
petgraph Public
Forked from petgraph/petgraphGraph data structure library for Rust.
Rust Apache License 2.0 UpdatedMay 16, 2024 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedMay 8, 2024 -
-
-
linol Public
Forked from c-cube/linolWrapper around the OCaml `lsp` library to make it easier to write LSP servers
OCaml UpdatedOct 20, 2023 -
isqrt Public
Forked from rod-chapman/isqrtImplementations and proofs of integer square root
Ada BSD 3-Clause "New" or "Revised" License UpdatedJul 20, 2023 -
besm Public
Resurrecting PP-BESM
-
esperanto Public
Forked from dinosaure/esperantobuild-once run-anywhere OCaml programs
Shell MIT License UpdatedApr 17, 2023 -
rustfmt Public
Forked from rust-lang/rustfmtFormat Rust code
Rust Apache License 2.0 UpdatedMar 26, 2023 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 14, 2023 -
-
-
DailyOrganizer Public
Forked from mremallin/DailyOrganizerSublime Text plugin for basic note taking organization
Python GNU General Public License v3.0 UpdatedSep 12, 2022
{{ message }}