Giters
Nguyễn Anh Khoa (nganhkhoa)

nganhkhoa

Geek Repo

54

followers

191

following

2k

stars

Github PK Tool:Github PK Tool

Nguyễn Anh Khoa's starred repositories

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

License:GPL-3.0Stargazers:62Issues:0Issues:0

Light

Language:CLicense:NOASSERTIONStargazers:2Issues:0Issues:0

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:344Issues:0Issues:0

flambda-backend

The Flambda backend project for OCaml

Language:OCamlStargazers:89Issues:0Issues:0

eff

A functional programming language based on algebraic effect handlers

Language:OCamlLicense:BSD-2-ClauseStargazers:843Issues:0Issues:0

frank

Frank compiler

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

angr-sailr

A frozen version of angr for the SAILR paper

License:BSD-2-ClauseStargazers:8Issues:0Issues:0

Dopamine-roothide

RootHide implementation based on Dopamine Jailbreak.

Language:CLicense:MITStargazers:414Issues:0Issues:0

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Stargazers:920Issues:0Issues:0

pie-hs

An implementation of Pie in Haskell

Language:HaskellLicense:AGPL-3.0Stargazers:199Issues:0Issues:0

Prog

Language:OCamlStargazers:73Issues:0Issues:0

keystone-se-firmware

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

MBA-Obfuscator

Non-linear Mixed Boolean-Arithmetic Expressions

Language:PythonLicense:MITStargazers:54Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:599Issues:0Issues:0

FoxDec

Formally verified x86-64 decompilation

Language:HTMLLicense:Apache-2.0Stargazers:12Issues:0Issues:0

nx

Smart Monorepos · Fast CI

Language:TypeScriptLicense:MITStargazers:22411Issues:0Issues:0

vercors

The VerCors verification toolset for verifying parallel and concurrent software

Language:ScalaLicense:MPL-2.0Stargazers:49Issues:0Issues:0

voice-changer

リアルタイムボイスチェンジャー Realtime Voice Changer

Language:PythonLicense:NOASSERTIONStargazers:15027Issues:0Issues:0

dyld-shared-cache-extractor

A CLI for extracting libraries from Apple's dyld shared cache file

Language:CLicense:MITStargazers:392Issues:0Issues:0

DyldExtractor

Extract Binaries from Apple's Dyld Shared Cache

Language:PythonLicense:MITStargazers:386Issues:0Issues:0

dyld

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

llios

Random stuff about lower level iOS

Language:C++Stargazers:271Issues:0Issues:0

k4dos

Language:RustLicense:MITStargazers:173Issues:0Issues:0

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:93Issues:0Issues:0

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Language:RustLicense:Apache-2.0Stargazers:409Issues:0Issues:0

Kangaroo

Pollard's kangaroo for SECPK1

Language:C++License:GPL-3.0Stargazers:210Issues:0Issues:0

awesome-plonk

A curated list of awesome things related to plonk proof system

License:MITStargazers:215Issues:0Issues:0

plonkup

Proof system with plonkup back-end proving arguments

Language:RustLicense:MPL-2.0Stargazers:14Issues:0Issues:0

dProtect

:electron: dProtect is a Proguard-based obfuscator for Java and Kotlin

Language:JavaLicense:GPL-2.0Stargazers:293Issues:0Issues:0

fp

A small, weird and unpractical programming language.

Language:HaskellLicense:MITStargazers:102Issues:0Issues:0