oboulant Goto Github PK

ask-a-doc

basecamp

So you've landed in a strange finite field. Only thing to do now is setup basecamp.

block-coordinate-descent

Implementation in C of the exact solution by Block Coordinate Descent for fast detection of multiple change-points

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-notebook

Explore possibility of running a Jupyter Notebook with a Cairo kernel

cairo-rs

cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

concrete-ml

Concrete ML: Privacy Preserving ML framework built on top of Concrete, with bindings to traditional ML frameworks.

fhe-tutorials

interstices

Quotes going to https://twitter.com/intersticesfr

ruptures-feedstock

A conda-smithy repository for ruptures.

semantic-search-elasticsearch-openai-langchain

Fork for linking to PDF and display source documents

starknet-messaging-bridge

Solutions to https://github.com/starknet-edu/starknet-messaging-bridge

tamis

Implementation in C, wrapped in Python of the exact solution by Block Coordinate Descent for fast detection of multiple change-points

test_doc

Showcase

timesegment

Segment a timeseries using regression tree