extended_finite_state_machines
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
https://github.com/c0np4nn4/blockchainsecrutiy_study_2023
school CyberSecurity Club "Keeper".
https://github.com/cdpierse/dgl-ke
High performance, easy-to-use, and scalable package for learning large-scale knowledge graph embeddings.
https://github.com/broadinstitute/gnomad-penetrance
Exploring penetrance of clinically relevant variants in over 800,000 humans from the Genome Aggregation Database
https://github.com/cdpxe/hardenedlinux
Scripts of the Hardened Linux (HL) distribution: hardening scripts (HLHS) and package system (cpfos)
https://github.com/cryptoking-max/cloud-volume
Read and write Neuroglancer datasets programmatically.
SOCRATESSingleColumnForcings
Construct forcing data from Atlas et al (2020), https://doi.org/10.1029/2020MS002205, for use with TurbulenceConvection.jl
https://github.com/cdslaborg/paramonte-kernel-doc
Doxygen documentation of the ParaMonte kernel library
gptlint
A linter with superpowers! 🔥 Use LLMs to enforce best practices across your codebase.
https://github.com/broadinstitute/codecov-bash-uploader
Verified CodeCov Bash Uploader script in light of https://about.codecov.io/security-update/
@stdlib/random-array-poisson
Create an array containing pseudorandom numbers drawn from a Poisson distribution.
speechbrain
A PyTorch-based Speech Toolkit
https://github.com/cdslaborg/datarepos_swiftbat
Data Repository for Swift BAT data