parof Goto Github PK
Name: Francesco Parolini
Type: User
Company: Lacework
Bio: Making programs more secure (WIP)
Location: London, UK
Blog: parof.github.io
Name: Francesco Parolini
Type: User
Company: Lacework
Bio: Making programs more secure (WIP)
Location: London, UK
Blog: parof.github.io
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
A ω-regular language inclusion checker
VSC dark theme, canesso-based.
base16 colors for zathura
A collection of Büchi automata for language inclusion benchmarking
Chess tournament GUI manager
Core language parser
Makefile generator for C++ small projects
⚡ The fastest line counter. At least on my computer.
The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format
Glossario di Ingegneria del Software
Interpreter for the While language
Implementations of program analysis tools with a focus on machine code
Easy snippets to write faster LaTeX (in Visual Studio Code)
Lisp interpreter with implicit Garbage Collector
A security focused static analysis tool for Android and Java applications.
A Python implementation of John Gruber’s Markdown with Extension support.
Master thesis
Lisp, but functional and parallel
Lisp interpreter with bytecode compiler
Progetto di un corso di tecnologie web all'università.
🐀 Regular Expression Denial of Service analyzer.
:crab: Small exercises to get you used to reading and writing Rust code!
While language static analyzer
Learn the Zig programming language by fixing tiny broken programs.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.