This is a Pytorch implementation of the paper: Self-Supervised Graph Transformer on Large-Scale Molecular Data
Repository Index
47,133 repositories indexed
25–48 of 100 · Most stars
Language for high-assurance and high-speed cryptography
ᛡᛒ BLE Scanner + Data persistence on SD Card for M5Stack, M5Core2, Odroid-Go, ESP32-Wrover-Kit and other models
Randomized Property-Based Testing Plugin for Coq
Icon components for svelte
A Library for Representing Recursive and Impure Programs in Coq
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Multi platform setup for Rocq, Rocq libraries and tools
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Monitor and profiler powered by eBPF to monitor network traffic, and diagnose CPU and network performance.
- skywalking
- observability
- apm
- service-mesh
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A formalization of geometry in Coq based on Tarski's axiom system
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A Verified Compiler for Gallina, Written in Gallina
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A simple Q&A platform using Ruby on Rails, support markdown.
- rails
- ruby
- user-sign
- qa
StatusBarOverlay will automatically show a "No Internet Connection" bar when your app loses connection, and hide it again. It supports apps which hide the status bar and The Notch
Mostly Automated Synthesis of Correct-by-Construction Programs
A library of mechanised undecidability proofs in the Coq proof assistant.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Modeling and Proving in Computational Type Theory