tupelo-shen Goto Github PK
Name: Wanjiang Shen
Type: User
Company: Yokogawa
Name: Wanjiang Shen
Type: User
Company: Yokogawa
This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:
Tool for trimming functions from a C source file
All Algorithms implemented in Python
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Prototype no-assurance reference OS personality built on seL4
Reference Operating system based on seL4 --- example code
Arduino RFID Library for MFRC522
RISC-V Proxy Kernel
Tools to create firmware / boot images for Rockchip devices
Firmware files for the Raspberry Pi
The Rumprun unikernel and toolchain for various platforms
Ready-made packages of software for running on the Rumprun unikernel
Apps for running with the rumprun unikernel on seL4.
Optimized C library for EC operations on curve secp256k1
The seL4 microkernel
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Tutorials for working with seL4 and/or CAmkES.
No-assurance libraries for rapid-prototyping of seL4 apps.
Basic tools for building seL4 projects
sel4 benchmarking applications and support library.
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
A minimal runtime for seL4 applications.
Test suite for seL4.
Project to build and test seL4 for many different platforms
An seL4 reference webserver application
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.