Beginner Level Deep Learning Tutorials in Pytorch with Youtube Videos!

A collection of datasets and tasks for legal machine learning

A collection of TLA⁺ specifications of varying complexities

TLA models of various IC components and canisters

SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models

Code to accompany the paper "On Statistical Bias In Active Learning"

Privileged Conformal Prediction - Robust Conformal Prediction Using Privileged Information

Code Merklization and other approaches to reducing the code contribution to witness size

A list of public audit reports conducted by the Cyfrin team

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.

V2 of Real World OCaml

OCaml DSL for verifiable computation

The start page about my efforts around smart contract verification

Lem semantic definition language

A Lem formalization of EVM and some Isabelle/HOL proofs

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Codebase for reproducing the experiments of the semantic uncertainty paper (short-phrase and sentence-length experiments).

SymmetricDS is database replication and file synchronization software that is platform independent, web enabled, and database agnostic. It is designed to make bi-directional data replication fast, …

DoEKS is a tool to build, deploy and scale Data & ML Platforms on Amazon EKS

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Muraena is an almost-transparent reverse proxy aimed at automating phishing and post-phishing activities.

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

VeriX: Towards Verified Explainability of Deep Neural Networks

A toolkit for enforcing logical specifications on neural networks