Giters
january147

january147

Geek Repo

1

followers

4

following

146

stars

Github PK Tool:Github PK Tool

january147's starred repositories

M2MON

MMIO based security reference monitor

Language:CStargazers:11Issues:0Issues:0

occlum

Occlum is a memory-safe, multi-process library OS for Intel SGX

Language:RustLicense:NOASSERTIONStargazers:1354Issues:0Issues:0

learning-zkp

articles, codes and tools all about zero-knowledge proofs

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

xiaoxiao-screenshots-ocr

win轻量级工具 = 截图+文字识别+取色器

Language:C#Stargazers:43Issues:0Issues:0

libecc

Library for elliptic curves cryptography

Language:CLicense:NOASSERTIONStargazers:255Issues:0Issues:0

python-mbedtls

Cryptographic library with an mbed TLS back end

Language:PythonLicense:MITStargazers:79Issues:0Issues:0

DeepLearning

深度学习入门教程, 优秀文章, Deep Learning Tutorial

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:13557Issues:0Issues:0

KMS_VL_ALL

🔑KMS_VL_ALL - Smart Activation Script

Language:BatchfileStargazers:2936Issues:0Issues:0

patchelf

A small utility to modify the dynamic linker and RPATH of ELF executables

Language:CLicense:GPL-3.0Stargazers:3394Issues:0Issues:0

AndServer

:cherries: Web server and web framework of Android platform.

Language:JavaLicense:Apache-2.0Stargazers:3669Issues:0Issues:0

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellLicense:GPL-3.0Stargazers:399Issues:0Issues:0

tock

A secure embedded operating system for microcontrollers

Language:RustLicense:NOASSERTIONStargazers:5233Issues:0Issues:0

smcroute

Static multicast routing for UNIX

Language:CLicense:GPL-2.0Stargazers:241Issues:0Issues:0

AirSim

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

Language:C++License:NOASSERTIONStargazers:16107Issues:0Issues:0

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:44681Issues:0Issues:0

leetcode-master

《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀

Language:ShellStargazers:49165Issues:0Issues:0

waifu2x

Image Super-Resolution for Anime-Style Art

Language:LuaLicense:MITStargazers:27341Issues:0Issues:0

GuiLite

✔️The smallest header-only GUI library(4 KLOC) for all platforms

Language:C++License:Apache-2.0Stargazers:7270Issues:0Issues:0

tiny-bignum-c

Small portable multiple-precision unsigned integer arithmetic in C

Language:CLicense:UnlicenseStargazers:416Issues:0Issues:0

awesome-reverse-engineering

Reverse Engineering Resources About All Platforms(Windows/Linux/macOS/Android/iOS/IoT) And Every Aspect! (More than 3500 open source tools and 2300 posts&videos)

Stargazers:4393Issues:0Issues:0

pwntools

CTF framework and exploit development library

Language:PythonLicense:NOASSERTIONStargazers:11715Issues:0Issues:0

pstdio

A GDB plug-in that can set stdio of the program you debug

Language:PythonStargazers:7Issues:0Issues:0

learnhaskell

Learn Haskell

Language:MakefileLicense:CC0-1.0Stargazers:7930Issues:0Issues:0

AndroidKernelExploitationPlayground

Language:CStargazers:542Issues:0Issues:0

BesFS

A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Language:CoqStargazers:16Issues:0Issues:0

acsl-by-example

Public snapshots of "ACSL by Example"

Language:TeXLicense:MITStargazers:97Issues:0Issues:0

triangula

Generate high-quality triangulated and polygonal art from images.

Language:GoLicense:MITStargazers:3849Issues:0Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:4622Issues:0Issues:0

bap

Binary Analysis Platform

Language:OCamlLicense:MITStargazers:2029Issues:0Issues:0

hexo-theme-next

🎉 Elegant and powerful theme for Hexo.

Language:JavaScriptLicense:NOASSERTIONStargazers:2369Issues:0Issues:0