leslieaj Goto Github PK
Type: User
Type: User
BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your private homepage or display a list of recommended publications for a seminar. The way the entries are display can be customized using a simple template system and CSS.
A tool to model checking dense-time Extended Linear Duration Invariants
Learning deterministic one-clock timed automata using constraint solving
Some experiments on Gaussian Process and Bayesian Optimizition
Infer Deterministic Finite Automata
Infer a dynamic system
💫 Automatically format markdown files using comment blocks. Update contents via custom transforms, external data sources & your source code.
Plugins for MkDocs.
Learning nondeterministic real-time automata
Decide opacity for Real-time Automaton
Learning one-clock timed automata
Learning one-clock timed automata from a normal teacher
Bibtex parser for Python 3.3+
Learning real-time automata
A prototype tool for deciding the language-opacity of real-time automata
Bounded Model Checking Continuous-time Extended Linear Duration Invariants
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.