-
KTH Royal Institute of Technology
- Stockholm, Sweden
- https://mokita-j.github.io/
- @mokita_j
- in/jin-monica
Highlights
- Pro
-
-
-
pint Public
Forked from essential-contributions/pintPint, the constraint-based programming language for declarative blockchains
Rust Apache License 2.0 UpdatedNov 15, 2024 -
book Public
Forked from foundry-rs/bookA book on all things Foundry, available at https://book.getfoundry.sh.
Rust Apache License 2.0 UpdatedNov 14, 2024 -
solgpt Public
Forked from ASSERT-KTH/solgptPipeline to get fixed Solidity smart contracts from ChatGPT
Python BSD 3-Clause "New" or "Revised" License UpdatedJul 8, 2024 -
-
smartbugs-curated Public
Forked from smartbugs/smartbugs-curatedSB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.
Solidity Apache License 2.0 UpdatedApr 16, 2024 -
DeFinery Public
Forked from palinatolmach/DeFineryTypeScript GNU General Public License v3.0 UpdatedFeb 23, 2024 -
-
chia-blockchain Public
Forked from Chia-Network/chia-blockchainChia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)
Python Apache License 2.0 UpdatedJul 31, 2023 -
RLRep Public
Forked from Anonymous123xx/RLRepA project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their contexts. The source code and dataset are opened.
Python UpdatedJul 3, 2023 -
Artificial_Intelligence Public
This contains 2 projects that implement artifitial intelligence algorithms
-
-
-
This contains the 2 projects submitted for Data Structure & Algorithms subject
-
Algorithm_Analysis Public
This repository consists in two projects submitted for Analysis and Synthesis of Algorithms, a curricular subject of CS Degree at IST.
C++ UpdatedApr 16, 2021 -
Library_Manager Public
This project simulates a simple library management software.
Java UpdatedApr 11, 2021