Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by Koukyosyumei

A curated list of projects in awesome lists by Koukyosyumei .

https://github.com/koukyosyumei/gymbo

gradient-based symbolic execution engine implemented from scratch

debugging dpll dpll-solver gradient-descent neural-network program-analysis smt-solver static-analysis symbolic-execution

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/mydisassembler

Disassembler for X86-64 implemented from scratch in C++

assembly disassembler disassembly x86-64

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/skimxdp

Elevate your network's defenses with the power of scikit-learn and XDP, the dynamic duo of packet filtering.

ebpf machine-learning packet-filtering xdp

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/top

Code for "On the Transit Obfuscation Problem" (AAMAS 2024)

aamas planning

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/rhoevm

symbolic EVM execution engine written in Rust

evm formal-methods rust security smart-contracts symbolic-execution

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/mycompiler

Toy compiler from a simple language to LLVM-IR implemented from scratch in Haskell

compilier llvm llvm-ir

Last synced: 31 Oct 2024

https://github.com/koukyosyumei/zatsuon

CLI Tool to remove audio noise with auto encoder

audio-processing autoencoder denoise-autoencoder

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/neupass

neural network - based probabilistic assertions

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/myzkp

Building Zero Knowledge Proof from Scratch

rust zero-knowledge zkp

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/rpdpkdfl

Code for Reconstruct Private Data via Public Knowledge in Distillation-based Federated Learning

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/vulnvault

A collection of smart contract vulnerability demos and exploit examples

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/myabstractor

Implementation of "Rosendahl, Mads. Introduction to abstract interpretation. Computer Science University of Copenhagen (1995)".

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/mychecker

Model checker implemented from scratch

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/myplanner

PDDL Solver implemented in C++ from scratch

heuristic-search heuristic-search-algorithms pddl pddl-parser planning

Last synced: 12 Nov 2024

https://github.com/koukyosyumei/eliminating-label-leakage-in-tree-based-vertical-federated-learning

Code for "Eliminating Label Leakage in Tree-based Vertical Federated Learning"

Last synced: 12 Nov 2024