Name: The MiST group (Multi-paradigm Software Technology)
Type: Organization
Bio: The MiST research group is focused on different aspects of programming languages, combining both theoretical developments and practical applications
Location: València, Spain
cauder
A Causal-Consistent Reversible Debugger for Erlang
cauder-core
A Causal-Consistent Debugger for (Core) Erlang
csp_reversible
csp_tracker
CSP-Tracker: Generator of CSP tracks
dining-philos
An implementation of the dining philosophers problem in Erlang
e-knife
edd
Erlang Declarative Debugger
edg
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
erlmix
Erlang partial evaluator
java-slicing-benchmarks
Benchmarks for Java program slicers
javaslicer
A program slicer for Java, based on the system dependence graph (SDG).
magic-button
magic-tool
pn_suite
A suite of tools for Petri Nets
prologt
rev-erlang
An implementation of the reversible semantics for Erlang.
rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
rever
secer
SecEr: Erlang Code Evolution Control Tool
slice_dialyzer
slicerl
Slicing for Erlang
swiprologz3
A simple Prolog API for the Z3 constraint solver
tnt
tracer
xgen
An explanation generator for ProbLog
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.
