Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
byte-666
/
papers
Public
forked from
Luiz-Monad/papers
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
master
Branches
Tags
Go to file
Code
Open more actions menu
Latest commit
History
2 Commits
2 Commits
Folders and files
Name
Name
Last commit message
Last commit date
Cryptology
Cryptology
Type Theory - FP - PLT
Type Theory - FP - PLT
computer arch
computer arch
computer graphics
computer graphics
infosec
infosec
misc
misc
shared-tech-resources
shared-tech-resources
software
software
3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
3D Projection Visualization.pdf
3D Projection Visualization.pdf
3GPP SAELTE Security NIKSUN WWSMC.pdf
3GPP SAELTE Security NIKSUN WWSMC.pdf
A Comparative Study of Programming Languages in Rosetta Code.pdf
A Comparative Study of Programming Languages in Rosetta Code.pdf
A Distributed System Based on Web Services for Computational Science Simulations.pdf
A Distributed System Based on Web Services for Computational Science Simulations.pdf
A Flexible replication framework for scalable and reliable .net service.pdf
A Flexible replication framework for scalable and reliable .net service.pdf
A Foreign Function Interface Generator.pdf
A Foreign Function Interface Generator.pdf
A Local Distributed Peer-to-Peer Algorithm Using Multi-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf
A Local Distributed Peer-to-Peer Algorithm Using Multi-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf
A Mathematician’s Lament.pdf
A Mathematician’s Lament.pdf
A Nanopass Framework for Commercial Compiler Development.pdf
A Nanopass Framework for Commercial Compiler Development.pdf
A Neural Conversational Model.pdf
A Neural Conversational Model.pdf
A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf
A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf
A Practical Attack on the MIFARE Classic.pdf
A Practical Attack on the MIFARE Classic.pdf
A Principled Approach to Operating System Construction in Haskell .pdf
A Principled Approach to Operating System Construction in Haskell .pdf
A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf
A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf
A look Inside the Final Fantasy VII Game Engine (gears).pdf
A look Inside the Final Fantasy VII Game Engine (gears).pdf
ARM system-on-chip architecture.pdf
ARM system-on-chip architecture.pdf
Achieving Usability Through Software Architecture.pdf
Achieving Usability Through Software Architecture.pdf
Algorithms for the masses.pdf
Algorithms for the masses.pdf
An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf
An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf
An O(ND) Difference Algorithm and Its Variations.pdf
An O(ND) Difference Algorithm and Its Variations.pdf
An Optimization Algorithm of RSA key generation in embedded system.pdf
An Optimization Algorithm of RSA key generation in embedded system.pdf
Analysis of a Denial of Service Attack on TCP.pdf
Analysis of a Denial of Service Attack on TCP.pdf
Anotacoes sobre mecanica e dinamica.pdf
Anotacoes sobre mecanica e dinamica.pdf
Apollo Guidance Computer - BLOCK I.pdf
Apollo Guidance Computer - BLOCK I.pdf
Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf
Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf
Binary Obfuscation Using Signals.pdf
Binary Obfuscation Using Signals.pdf
Binary code obfuscation through C++ template metaprogramming.pdf
Binary code obfuscation through C++ template metaprogramming.pdf
BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
Bluebook Smalltalk80.pdf
Bluebook Smalltalk80.pdf
Building a Dependable Operating System Fault Tolerance in Minix 3.pdf
Building a Dependable Operating System Fault Tolerance in Minix 3.pdf
C type prunning.pdf
C type prunning.pdf
Cache-Oblivious Algorithms.pdf
Cache-Oblivious Algorithms.pdf
Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
Clean Code.pdf
Clean Code.pdf
Common Lisp A Gentle Introduction to Symbolic Computation.pdf
Common Lisp A Gentle Introduction to Symbolic Computation.pdf
Common RAID Disk Data Format Spec.pdf
Common RAID Disk Data Format Spec.pdf
Computer Implementation of the Finite Element Method.pdf
Computer Implementation of the Finite Element Method.pdf
Computer Security NIST p1.pdf
Computer Security NIST p1.pdf
Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf
Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf
Concepts first in introdutory CS courses rr2003-08.pdf
Concepts first in introdutory CS courses rr2003-08.pdf
Concurrency Patterns.pdf
Concurrency Patterns.pdf
Console Hacking Chaos 2010.pdf
Console Hacking Chaos 2010.pdf
Count by value.pdf
Count by value.pdf
Creating Device Drivers.pdf
Creating Device Drivers.pdf
Cycles Cells and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf
Cycles Cells and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf
DHTbasedNATTraversal.pdf
DHTbasedNATTraversal.pdf
Data Management Past, Present, and Future.pdf
Data Management Past, Present, and Future.pdf
Data-centric Programming for Distributed Systems.pdf
Data-centric Programming for Distributed Systems.pdf
Dataflow Machine Architecture.pdf
Dataflow Machine Architecture.pdf
Decoding billions of integers per second through vectorization.pdf
Decoding billions of integers per second through vectorization.pdf
Deconstructing the Database QConSF2012.pdf
Deconstructing the Database QConSF2012.pdf
Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf
Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf
Design Rule Checking.pdf
Design Rule Checking.pdf
Designing Interactions 1.pdf
Designing Interactions 1.pdf
Differential Cryptanalysis of Salsa_20_8.pdf
Differential Cryptanalysis of Salsa_20_8.pdf
Digital Audio Signal Processing.pdf
Digital Audio Signal Processing.pdf
Diseases in Code.pdf
Diseases in Code.pdf
Disk and Tape Storage Cost Models.pdf
Disk and Tape Storage Cost Models.pdf
Dynamic Replication and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf
Dynamic Replication and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf
Effective C++ The Miseducation of C++.pdf
Effective C++ The Miseducation of C++.pdf
Efficient Algorithms for Sorting and Synchronization.pdf
Efficient Algorithms for Sorting and Synchronization.pdf
Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf
Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf
Efficient fingerprint search based on database clustering.pdf
Efficient fingerprint search based on database clustering.pdf
Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf
Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf
Encoding.pdf
Encoding.pdf
Everything you always wanted to know about synchronization but were afraid to ask.pdf
Everything you always wanted to know about synchronization but were afraid to ask.pdf
Experimenting with Programming Languages.pdf
Experimenting with Programming Languages.pdf
Exponentials Reiterated.pdf
Exponentials Reiterated.pdf
FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf
FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf
FSU Reversing.pdf
FSU Reversing.pdf
Finding and Understanding Bugs in C Compilers.pdf
Finding and Understanding Bugs in C Compilers.pdf
Fingerprint matching by genetic algorithms.pdf
Fingerprint matching by genetic algorithms.pdf
Generalized travelling salesman problem.pdf
Generalized travelling salesman problem.pdf
Gerador de Parsers LR.pdf
Gerador de Parsers LR.pdf
HITB magazine Issue 003.pdf
HITB magazine Issue 003.pdf
HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf
HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf
Hardware Memory.pdf
Hardware Memory.pdf
HaskellVsAda-NSWC.pdf
HaskellVsAda-NSWC.pdf
High-speed high-security cryptography on ARMs.pdf
High-speed high-security cryptography on ARMs.pdf
High-speed high-security signatures.pdf
High-speed high-security signatures.pdf
How new antenna-matching technology helps HF RFID d.pdf
How new antenna-matching technology helps HF RFID d.pdf
How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf
How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf
HyperDex A Distributed, Searchable Key-Value Store.pdf
HyperDex A Distributed, Searchable Key-Value Store.pdf
Improved Techniques for Ray Tracing Parametric Surfaces.pdf
Improved Techniques for Ray Tracing Parametric Surfaces.pdf
In Search of an Understandable Consensus Algorithm.pdf
In Search of an Understandable Consensus Algorithm.pdf
Index Compression irdm-5-2.pdf
Index Compression irdm-5-2.pdf
Index Compression.pdf
Index Compression.pdf
Intel 64 and IA-32 Architectures Software Developer’s Manual.pdf
Intel 64 and IA-32 Architectures Software Developer’s Manual.pdf
Intelligence Explosion Evidence and Import.pdf
Intelligence Explosion Evidence and Import.pdf
InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf
InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf
Introdução a Simulação Discreta.pdf
Introdução a Simulação Discreta.pdf
View all files
About
No description, website, or topics provided.
Activity
Stars
0
stars
Watchers
0
watching
Forks
0
forks
Report repository
Releases
Packages
Contributors
You can’t perform that action at this time.