Updated 10 months ago
membrane-curvature
Mirror of https://github.com/ctlee/membrane-spectral-analysis for legacy purposes
Updated 10 months ago
https://github.com/crytic/slither-docs-action
Write documentation for your code in pull requests using Slither and OpenAI.
Updated 10 months ago
exploring-blank-lines-inside-java-methods-as-indicators-of-increased-code-complexity
Updated 10 months ago
retrospective_manuscript
Scripts from the paper "Epidemiological characterization of rare diseases in Brazil: a study of the Brazilian Rare Diseases Network"
Updated 10 months ago
https://github.com/crytic/addressarrayutils_demo
Demonstration for using echidna to test a Solidity library
Updated 10 months ago
https://github.com/crytic/trailofbits-security
The Trail of Bits Truffle Security Toolbox
Updated 10 months ago
multi-robot-framework
Multi-robot ROS2 (C++) framework for ground vehicles, enabling swarming capabilities of the EDIDP iMUGS project.
Updated 10 months ago
https://github.com/crytic/echidna-streaming-series
A 6-part series on how to use Echidna on real-world codebases
Updated 10 months ago
multimodal-psych
Fundamentals of system design in multimodal physiological measurements.
Updated 10 months ago
semproducible
Generates R code for your lavaan models automatically, which helps with reproducible open science