Updated 10 months ago

https://github.com/crocs-muni/ct-tools • Science 13%

A repository of tools for verifying constant-timeness

Updated 10 months ago

https://github.com/d-torrance/cohomcalg • Science 23%

A software package for computation of sheaf cohomologies for line bundles on toric varieties.

Updated 10 months ago

https://github.com/d1egoprog/synthetictriples • Science 13%

Paper showcase for the initial version of the Synthetic Triple generation approach

Updated 10 months ago

https://github.com/crocs-muni/dissect • Science 13%

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

Updated 10 months ago

https://github.com/d1egoprog/kg-slr4llm • Science 13%

A resource for scientific discovery using neuro-symbolic AI and LLMs with prompts, experiments, and responses.

Updated 10 months ago

ganx • Science 44%

The GitHub repository for the Python package ganX - generate artificially new XRF

Updated 10 months ago

https://github.com/crocus-urban/ambient-weather-ingests • Science 26%

Repo for ambient weather ingests and data

Updated 10 months ago

https://github.com/briochemc/utilitiesocim.jl • Science 23%

A package for utilities for OCIM models in Julia

Updated 10 months ago

https://github.com/australianbiocommons/gen3schemadev • Science 26%

Gen3 Schema Development tools