An open API service providing repository metadata for many open source software ecosystems.

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