Giters
Lim Jin Xing (jinxinglim)

jinxinglim

Geek Repo

4

followers

4

following

16

stars

Company:Runtime Verification Inc.

Location:Singapore

Home Page:jinxinglim.github.io

Twitter:@0xJinXingLim

Github PK Tool:Github PK Tool

Lim Jin Xing's repositories

Game-Theoretical-Approaches-in-Multi-Agent-Reinforcement-Learning-Policy-Space-Response-Oracles

Language:Jupyter NotebookStargazers:14Issues:1Issues:0

coq-formalized-divide-and-conquer

This respository contains the formalization of different variations of divide-and-conquer algorithm design paradigm for lists. As a case study, we will see how these different variations lead to different sorting algorithms.

Language:CoqStargazers:3Issues:2Issues:0

coq-chain

Language:CoqStargazers:0Issues:1Issues:0

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:SolidityLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Exploring-Efficacy-of-Embeddings-on-Relation-Network-for-Natural-Language-Question-Answering-Task

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

HoneyBadger

A tool that detects honeypots in Ethereum smart contracts :honey_pot: (USENIX 2019).

Language:PythonStargazers:0Issues:0Issues:0

jinxinglim.github.io

Jin Xing Lim Personal Website

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

RugPullDetection

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

understanding-k-framework

Language:MakefileStargazers:0Issues:0Issues:0