pfg666 Goto Github PK
Name: Paul F.B.
Type: User
Bio: My interest is to develop techniques and software that solve real-world problems, particularly in the area of testing and security.
Paul F.B.'s Projects
assist-project.github.io
Home page of the aSSIsT project
automaton-app
A very old interactive application which I sometimes use to analyze .dot Mealy machines
basic-learning
dot-parser
Parses from .dot FSM models corresponding automatalib instances.
dot-trimmer
A java tool for trimming/improving the looks of .dot models using Graphviz and automatalib libraries.
dottonusmvconverter
A tool for converting Mealy machine .dot models to NuSMV models which can be checked against specifications.
dtls-programs
homeworld
home
jsse-dtls-server
A rough DTLS echo server used for testing the JSSE implementation of DTLS.
pion-dtls-server
Go DTLS server harness
ralib-examples
Toy examples using RALib
reproduction
Bug reproduction archives for when they get too big
scandium-dtls-server
A DTLS server application based on Scandium/Californium which is adapted from the example on Scandium's website but has a few more knobs.
scripts
A selection of scripts I have come to rely on over the years.
sendmtp
sendmtp is a tool used to distribute documents to multiple addresses. The documents are located in one directory and the addresses are obtained from the naming convention used in the documents.
tcp-learner
A protocol state fuzzer for TCP stacks.
w1-your-first-program
A MakeCode project
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.