Highlights
Block or Report
Block or report xldenis
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
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 -
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedApr 29, 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 -
project-stable-mir Public
Forked from rust-lang/project-stable-mirApache License 2.0 UpdatedJun 28, 2022 -
-
-
-
syn Public archive
Forked from dtolnay/synParser for Rust source code
Rust Apache License 2.0 UpdatedOct 1, 2021 -
-