Name: Fu Song
Type: User
Company: State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
Bio: Fu Song, research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
Location: China
Blog: songfu1983.github.io
llvm2cryptoline
A tool translating LLVM IR to CryptoLine
mcmas-acgs
mp-spdz
Versatile framework for multi-party computation
optimodel
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
paracooba
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
parkissat-rs
pblib
C++ library to transform pseudo Boolean constraints into CNF
polyjam
Polyjam is a powerful toolbox for symbolic polynomial computations and automatic code-generation for solving Groebner bases in C++. Please consult the documentation for more information.
pyct
qe_exppa
The implementation of quantifier elimination for bit vector arithmetic based on elimination of quantifiers for Presburger arithmetic expanded by function 2^x (in progress).
rescue
An automated tool for the detection of regexes' slow-matching vulnerabilities.
rxxr2
rxxr2c
Re-implementation of RXXR2 (ReDoS analyzer) in C++
scalpel
Scalpel: The Python Static Analysis Framework
scverif
sec4sr
secrec
smack
SMACK Software Verifier and Verification Toolchain
songfu1983.github.io
stac
Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
swan
A Swift Static Analysis Framework
symsan
A LLVM Sanitizer for Symbolic Tracing
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
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.
