Updated 10 months ago

tcc-frontend • Science 44%

Updated 10 months ago

membrane-curvature • Science 44%

Mirror of https://github.com/ctlee/membrane-spectral-analysis for legacy purposes

Updated 10 months ago

ars-lod • Science 44%

Linked Open Data from the ARS3D Project

Updated 10 months ago

lms2 • Science 44%

Pyomo Library for Linear Modelling of Energetic Systems

Updated 10 months ago

https://github.com/crytic/slither-docs-action • Science 13%

Write documentation for your code in pull requests using Slither and OpenAI.

Updated 10 months ago

retrospective_manuscript • Science 44%

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 • Science 13%

Demonstration for using echidna to test a Solidity library

Updated 10 months ago

ediarum.avhr.data-model • Science 44%

ODD and RNG files for edition humboldt digital

Updated 10 months ago

https://github.com/crytic/trailofbits-security • Science 13%

The Trail of Bits Truffle Security Toolbox

Updated 10 months ago

multi-robot-framework • Science 54%

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 • Science 13%

A 6-part series on how to use Echidna on real-world codebases

Updated 10 months ago

multimodal-psych • Science 26%

Fundamentals of system design in multimodal physiological measurements.

Updated 10 months ago

yolov5d1 • Science 54%

Updated 10 months ago

semproducible • Science 44%

Generates R code for your lavaan models automatically, which helps with reproducible open science