https://github.com/akiomik/scenic-cascade
A scenic migration file generator that supports cascading view updates
similarity-trait
Similarity trait Rust crate: compare input values, such as two or more items, then return an output value, such as a mesure of similarity, or correlation, or overlap.
display-ontology
A computer ontology to formally describe the features of a collection display or an exhibition
https://github.com/akiomik/cats-nio-file
A thin scala wrapper for Java NIO.2, built on cats-effect 🐱
polioviren_im_abwasser-pia
Derzeit wird in Deutschland zur Überwachung der Poliofreiheit eine syndromische Surveillance hospitalisierter Patienten mit aseptischer Meningitis/Enzephalitis und akuter schlaffer Paresen durchgeführt (Enterovirus-Surveillance, EVSurv).
stringr-rladies-jakarta
Material pendukung dalam R-Ladies Jakarta 15th Meetup (2 April 2022) dengan topik "Basic text manipulation with stringr".
awslabs/aws-lc-verification
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
SecureArithmetic
Secure arithmetic operations using fully homomorphic encryption