dmitry-vlasov Goto Github PK
Name: Dmitry Vlasov
Type: User
Bio: - logic - formal math - automated deduction - c++ - formal methods
Location: Novosibirsk
Name: Dmitry Vlasov
Type: User
Bio: - logic - formal math - automated deduction - c++ - formal methods
Location: Novosibirsk
DEL stands for 'Decomposition in description logic EL'
dynamic parser (rules may be add in a runtime)
FOL automated deduction algorithms in flow9
Metamath implementation in flow language
IntelliJIdea plugin for support of Russell and Metamath languages
Russell IDE as a kate editor plugin
Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)
mdl is an implementation of the Russell logical framework
An implementation of the Russell logical framework
Russell implementation with flow
Semantic programming framework
Simple Functional Language - for compiler learning purpose.
The Simple Language (simlang) implementation
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.