tiancheng-luo Goto Github PK
Name: Tiancheng-Luo
Type: User
Tiancheng-Luo's Projects
pocl
pocl - Portable Computing Language
poj-problems
A limited collection of poj.org problems for discussion
poker
TypeScript implementation of video poker
polli
Enable Polyhedral JIT compilation
power-fx
Power Fx low-code programming language
powerdrive
A tool for de-obfuscating PowerShell scripts
powershell
PowerShell for every system!
powershell-1
PowerShell functions and scripts (SCCM, SCSM, AD, Exchange, O365, ...)
powersploit
PowerSploit - A PowerShell Post-Exploitation Framework
powertoys
Windows system utilities to maximize productivity
practical-fm
A gently curated list of companies using verification formal methods in industry
practicing
Best of Practicing Ruby (Book Edition) by Gregory Brown, Luke Francl, Magnus Holm, Aaron Patterson, Solomon White et al
prescient.el
☄️ Simple but effective sorting and filtering for Emacs.
probabilistic-programming-and-bayesian-methods-for-hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
probmods2
probmods 2: electric boogaloo
procman
A Rust library for managing a family of child processes
prolog-basics
Simple Prolog programs demonstrating the basics of the language.
prolog.vim
Prolog Integration for Vim
pronto.el
an Emacs compilation mode for pronto
protobuf-c
Protocol Buffers implementation in C
proxy
Proxy is powerful interception library that lets you at runtime change of the behavior of objects and classes
pruf-general
My customized version of Proof General
pry-remote-em
Connect to Pry remotely using EventMachine with tab-completion, paging, user authentication and SSL support
psd_native
Native mixins for PSD.rb that improve its performance.
puppet-parser
A puppet manifest parser and formatter written in Perl
pvs
The People's Verification System
pycsp
PyCSP - Brings CSP to Python
pydata-book
Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media
pynt
Bridging the gap between jupyter notebooks and text editors/IDEs.
pyprover
Resolution theorem proving for predicate logic in pure Python.
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.