|
|
None |
537 |
articles, codes and tools all about zero-knowledge proofs |
Apr 22, 2023 |
|
|
OCaml |
2 |
A tool for sharing proofs with predicative systems |
Feb 11, 2023 |
|
|
Coq |
4 |
Proofs about graph algorithms |
Oct 23, 2021 |
|
|
None |
2 |
reading. learning. sharing. all about open source. |
May 02, 2022 |
|
|
None |
6 |
Presentations about zero-knowledge proofs |
Oct 12, 2022 |
|
|
Agda |
3 |
A repository containing specifications and proofs about Ferros. |
May 05, 2022 |
|
|
Kotlin |
5 |
Experimenting with Bayes and Email Spam Categorization |
Oct 30, 2021 |
|
|
Isabelle |
6 |
Formal proofs about Ethereum slashing protection strategies |
Jan 01, 2022 |
|
|
None |
2 |
Domain Categorization and Management |
Mar 19, 2023 |
|
|
None |
2 |
Research information about DDoSaaS providers |
Feb 10, 2019 |
|
|
HTML |
2 |
🦹🏼♂️ My note 🥷🏿 about cryptography, Mainly about zero-knowledge proofs |
Aug 09, 2022 |
|
|
TeX |
225 |
Reinforcement learning theory book about foundations of deep RL algorithms with proofs. |
May 24, 2023 |
|
|
TypeScript |
6 |
Recommending, Sharing about Beers |
Jun 25, 2022 |
|
|
HTML |
2 |
My blog about knowledge sharing and writeups |
Mar 31, 2023 |
|
|
Python |
2 |
Loan qualifier application with Pytest and questionary. |
Jun 03, 2022 |
|
|
TypeScript |
10 |
Loan and borrow |
Jun 20, 2022 |
|
|
CSS |
13 |
Homebase of the IPTC EXTRA project about rule-based text categorization |
Jan 16, 2023 |
|
|
Rust |
9 |
Storage solution with proofs and secondary indices. |
Jul 18, 2022 |
|
|
Makefile |
21 |
Syntaxes with Binding, Their Programs, and Proofs |
Jan 28, 2023 |
|
|
Coq |
2 |
Proofs on lexing with derivatives and zippers |
Mar 05, 2021 |
|
|
Coq |
13 |
HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs) |
May 15, 2022 |
|
|
Haskell |
9 |
Checker for "morally correct" induction proofs about haskell programs |
Apr 16, 2023 |
|
|
None |
2 |
This repository has all about android app with kotlin code and all about app codes |
Feb 23, 2023 |
|
|
JavaScript |
5 |
loan mobile UI with react |
May 28, 2018 |
|
|
Jupyter Notebook |
2 |
Loan Classification with Stratified KFold |
Jun 17, 2023 |
|
|
Go |
2 |
Small cli utility to show info about a mortgage loan |
Mar 05, 2023 |
|
|
Go |
38 |
Travel Rule Information Sharing Architecture for Virtual Asset Service Providers |
Dec 22, 2022 |
|
|
Java |
2 |
Project created to develop and handle all library microservices, Book, Loan, Customer |
Mar 25, 2023 |
|
|
Python |
255 |
all kinds of baseline models for long text classificaiton( text categorization) |
Jun 30, 2022 |
|
|
Rust |
122 |
Wordle, but with ZK proofs! |
Aug 17, 2022 |
|
|
TypeScript |
28 |
2FA with Zero-Knowledge proofs |
Apr 21, 2023 |
|
|
Python |
6 |
Automated Proofs about floating-point numbers using Z3 Theorem Prover |
Sep 13, 2020 |
|
|
Python |
7 |
SCP proofs and models |
Jun 07, 2022 |
|
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
|
Isabelle |
2 |
Teaclave specification and proofs. |
Jan 29, 2022 |
|
|
C++ |
6 |
submodule for Rolisteam and Rcse about CharacterSheet, sharing code. |
Dec 05, 2021 |
|
|
Ruby |
13 |
A state machine gem with built in categorization and workflow events. |
Feb 08, 2022 |
|
|
TypeScript |
20 |
A unified UI for all RSP servers and RSP server-providers to integrate with |
Jul 21, 2022 |
|
|
Python |
3 |
Getting Started with Django 2 - Movies Categorization Application |
Jul 02, 2022 |
|
|
Jupyter Notebook |
10 |
Financial Analytics-Loan Approval Prediction(Using all machine learning models) |
Feb 25, 2023 |
|
|
JavaScript |
2 |
Platform for content ingestion, categorization, and retrieval |
Oct 01, 2020 |
|
|
C# |
2 |
Library Management and Loan System |
May 04, 2024 |
|
|
None |
5 |
all documents about SmartPlug with IOT |
Sep 15, 2021 |
|
|
None |
3 |
Learn all about Plasma with LearnPlasma! |
May 15, 2022 |
|
|
Java |
2 |
All about handling tests with Maven |
Sep 10, 2023 |
|
|
TypeScript |
2 |
Selective Disclosure with Merkle Proofs and Json Web Signatures |
Sep 30, 2021 |
|
|
TypeScript |
4 |
A React Native library containing all essential providers and components |
Mar 02, 2022 |
|
|
TypeScript |
4 |
Movie listing page with genre categorization made with React JS |
Mar 29, 2022 |
|
|
None |
9 |
Just sharing some stuff about 3D modelling with Aerialod, by ephtracy |
Jan 02, 2023 |
|
|
Java |
3 |
Proofs of concept with Apache Kafka |
Apr 01, 2022 |