Topic: "plt"
iqiyi/xHook
🔥 A PLT hook library for Android native ELF.
Language: C - Size: 819 KB - Last synced at: 21 days ago - Pushed at: almost 2 years ago - Stars: 4,171 - Forks: 768

bytedance/bhook
:fire: ByteHook is an Android PLT hook library which supports armeabi-v7a, arm64-v8a, x86 and x86_64.
Language: C - Size: 1.59 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 2,216 - Forks: 347

imteekay/programming-language-research
✨ Programming Language Research, Applied PLT & Compilers
Language: Clojure - Size: 35.8 MB - Last synced at: 9 days ago - Pushed at: 6 months ago - Stars: 921 - Forks: 57

lotuc/PLAI-cn
Programming Languages: Application and Interpretation
Size: 6.84 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 243 - Forks: 23

pgaskin/kobopatch
An improved patching system for Kobo eReaders.
Language: Go - Size: 11.8 MB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 91 - Forks: 7

mwydmuch/napkinXC
Extremely simple and fast extreme multi-class and multi-label classifiers.
Language: C++ - Size: 2.54 MB - Last synced at: 15 days ago - Pushed at: 30 days ago - Stars: 66 - Forks: 7

thomashirtz/pytaurus
Repository that provide a wrapper to use the software TCAD Sentaurus with Python.
Language: Python - Size: 203 KB - Last synced at: 26 days ago - Pushed at: 10 months ago - Stars: 47 - Forks: 9

pgaskin/NickelHook
A library for creating mods for Kobo's eReader software, Nickel.
Language: C - Size: 20.5 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 43 - Forks: 1

davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
Language: LLVM - Size: 14.4 MB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 41 - Forks: 9

ohchase/plt-rs
Featureful library for iterating and hooking linux and android applications PLT (Procedure Linkage Table) at runtime
Language: Rust - Size: 82 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 37 - Forks: 7

mrmathematica/ooplai-zh
OOPLAI中文翻译
Size: 2.27 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 33 - Forks: 6

shonfeder/um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
Language: OCaml - Size: 170 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 1

chrisdone-archive/inflex 📦
Pure, statically typed, content-addressable, programming language for spreadsheet use
Language: Haskell - Size: 4.98 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 2

lastweek/source-glibc
notes about glibc, ld-so and more.
Language: C - Size: 55.4 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 27 - Forks: 5

johannst/dynld
Dynamic linker studies.
Language: C - Size: 140 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 23 - Forks: 1

lonnywong/glibcmock
A solution of mocking glibc function with Google Test.
Language: C++ - Size: 389 KB - Last synced at: 28 days ago - Pushed at: about 8 years ago - Stars: 20 - Forks: 8

khale/elf-hijack
Example of using ELF hacking to inject malicious code into a target binary
Language: C - Size: 46.9 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 6

stevanmilic/fuse
Statically typed functional programming language.
Language: Scala - Size: 385 KB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 0

sunxfancy/ExeViewer
A Command Line Executable Viewer
Language: Assembly - Size: 631 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 9 - Forks: 1

bcdevices/ly10-zephyr-fw
Zephyr-based firmware for PLT Demo V2
Language: C - Size: 3.68 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 7 - Forks: 3

bcdevices/plt-docs
Reference material for BCD's Production Line Tool (PLT)
Size: 51.7 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 4

manelli/plt
Programming language theory resources
Size: 78.3 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 1

zacharycarter/zap
The Zap programming language compiler
Language: Haskell - Size: 626 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

hMihaiDavid/pltgot_hook_demo 📦
Linux x86_64 PLT hooking. Examine and hook a live process library imports.
Language: C - Size: 501 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 0

commita/vscode-lua-templates
Language support for Lua templates in VSCode
Size: 11.7 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0

jez/stlc-infer
A small interpretter for the simply typed lambda calculus, with type inference
Language: Haskell - Size: 22.5 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0

xc42/Schemer
learn programming language theory and implementation by playing
Language: C++ - Size: 171 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

wlad-svennik/memoized_coduals
Shows that it is possible to implement reverse mode autodiff using a variation on the dual numbers called the codual numbers
Language: Python - Size: 9.77 KB - Last synced at: 21 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

luanmingyi/liton_ordered_tec_cpp
Ordered_tec is a simple pack writing ordered data (structural data) to a binary tecplot file (.plt).
Language: C++ - Size: 137 KB - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 2

jez/tsim
A Turing machine simulator in SML
Language: Standard ML - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: almost 9 years ago - Stars: 3 - Forks: 0

pdferreira/tyes
TyES (Type Experiment System) is a personal project in the area of type systems, aiming to provide a playground to test different type system ideas in a simple way.
Language: Scala - Size: 366 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0

Tritonix711/DigitVision-Number-Predictor
"DigitVision: Number Predictor" is a deep learning project that uses a Convolutional Neural Network (CNN) to classify handwritten digits (0-9) from images. Built with Python and TensorFlow, it supports dataset preprocessing, model training, evaluation, and predictions, offering a scalable and accurate solution for digit recognition tasks.
Language: Python - Size: 1020 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

imteekay/lox.ts
The compiler for the Lox programming language
Language: TypeScript - Size: 53.7 KB - Last synced at: 9 days ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

nauaneed/vtk-2-tecplot-dat
Convert .vtk files to .dat files for viewing in Tecplot
Language: C - Size: 31.3 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

Centril/interesting-papers
An add space for people to share interesting papers on PLT
Size: 3.91 KB - Last synced at: 28 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

AIboy996/plt-gallery
matplotlib gallery powered by pyscript
Language: HTML - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

hydrobot004/Predict-future-sales-and-A-B-model-comparison-
Predict future sales and A/B model comparison 👾
Language: Jupyter Notebook - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

JackSnowWolf/OpenSC
programming language for smart contract
Language: OCaml - Size: 1.51 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

geezee/typeless
A tiny toy language for experimentation
Language: D - Size: 642 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

pyzh/flo Fork of program-in-chinese/flo
一种可读的编程语言/DSL。别名beat/bit
Language: Elixir - Size: 40 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

yurrriq/lispy
:book: Working through http://buildyourownlisp.com
Language: C - Size: 3.5 MB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

SFantasy/plt
A repo for learning PLT
Language: Racket - Size: 93.8 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

jez/hotcompilation Fork of rmanne/hotcompilation
Notes for 15-417 (Higher Order Typed Compilation)
Language: TeX - Size: 2.04 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

jez/hotc Fork of zachhalle/hotc
Course notes from 15-417 HOT Compilation
Language: TeX - Size: 2.28 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

jez/flac-post-tag
Generate "post tag system" traces
Language: Haskell - Size: 6.84 KB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0

IzeLeam/elf_loader
A low-level Linux loader for encrypted shared libraries. Supports in-memory decryption using XOR, custom ELF parsing, PLT/GOT resolution, and full execution without leaving traces on disk. Built to demonstrate runtime obfuscation, binary manipulation, and advanced dynamic linking.
Language: C - Size: 67.4 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

mdssjc/plt
Programming Language Theory
Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

anoopkcn/plotreset
reset, customize, save, load matplotlib plot styles
Language: Python - Size: 157 KB - Last synced at: about 15 hours ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

oguzhanfatihkucuk/Data-Analytics-Project-Kafka-Spark
The data in this project was collected in a database using Apache Kafka and processed with Apache Spark Streaming. The project aims to create a forecasting model and analyze sales forecasts per customer.
Language: Python - Size: 20 MB - Last synced at: 11 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

NowLoadY/MusicalBubbleColumn
MusicalBubbleColumn is a Python-based 3D music visualization project designed to dynamically display the rhythm and notes of MIDI music through 3D graphics. The project combines the Matplotlib and Pygame libraries to render real-time visual effects of the music, providing an immersive musical experience.
Language: Python - Size: 2.96 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

lepton-lang/mltt-type-checker
An MLTT type checker implemented using Saki-Lang
Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

bcdevices/meta-bcdevices
Yocto layer for SBCs embedded in a custom PPC, for production programming and testing with a PLT.
Language: BitBake - Size: 63.5 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

joangq/edsl
Abordaje Funcional a los lenguajes de dominio específico embebidos - Curso de ECI 2024
Language: Haskell - Size: 3.09 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

danielbatres/data-visualization-matplotlib-seaborn
Language: Jupyter Notebook - Size: 1.11 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

niqolla/python_exercices_scientific
Results from "Python programming by solving scientific projects" from Mike Cohen
Language: Jupyter Notebook - Size: 69.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

gnu-enjoyer/intrudr
functional procedure linkage table interposer
Language: C++ - Size: 15.6 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

isaacazuelos/tree-sitter-kurt
A Tree Sitter grammar for Kurt
Language: C - Size: 130 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

bahramkhanlarov/Homegate.ch-scraping-and-data-analysis-with-Pandas
Here I present the python scripts to download the apartment rentals listed on homegate.ch in Geneva(Switzerland) and convert them to pandas data frame, Choropleth maps are created with altair package
Language: Jupyter Notebook - Size: 32.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SeungUkLee/learning-snupl
Language interpreters and type systems implementation from 4190.310 PL homeworks and lecture notes.
Language: OCaml - Size: 183 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SeungUkLee/learning-cose212
Language interpreters and monomorphic type system implementation from COSE212 lecture notes.
Language: OCaml - Size: 604 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Anindya-Prithvi/MNIST_CAELatentSpace
Convolutional AutoEncoders (MNIST) and their generative capabilities (kind of amazing)
Language: Jupyter Notebook - Size: 6.92 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Nitro1231/COVID-19-Actions
COVID-19 Data Reorganization using Github Actions
Language: HTML - Size: 1.17 GB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

MJ-SEO/2021-2_Programming_Language_Theory
Language: Racket - Size: 52.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

zenAndroid/zenEOPL
My take on the essentials of programming languages. Not regularly updated.
Language: Scheme - Size: 171 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

umaumax/got-call
Language: C++ - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

hagarbarakat/Recursive-descent-compiler
Language: Java - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

bcdevices/plt_basic
Simplified version of PLT-OS for connecting PLT to network and enabling SSH
Language: Elixir - Size: 15.6 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

rodrigoms2004/MatplotlibCookBookStudies
Studies using Matplotlib Cookbook
Language: Jupyter Notebook - Size: 3.4 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Ch4s3/ex_ast
Elixir AST sample repo
Language: Elixir - Size: 2.63 MB - Last synced at: 30 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

quqixun/PLTNotes
Code and notes for course Programming Language Technology, using BNFC to make interpretor and compiler for programming languages.
Language: C - Size: 903 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

jez/complex-coordinates
A short example showing off the expression problem in Haskell
Language: Haskell - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

gilmi/logi
a silly little programming language inspired by datalog.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0

gilmi/strema
A compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript https://gilmi.gitlab.io/strema
Last synced at: over 2 years ago - Stars: 0 - Forks: 0

shonfeder/themis
Experiments and studies with lambda calculus
Last synced at: over 2 years ago - Stars: 0 - Forks: 0