Dmitry Vlasov (@dmitry-vlasov)
github

dmitry-vlasov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 529,752 (Top 19 %)
  • Followers 8
  • Following 1
  • Registered almost 9 years ago
  • Most used languages
    C++
         42.9 %
    Objective-C++     42.9 %
    TypeScript
         14.3 %
  • Location πŸ‡·πŸ‡Ί Russia
  • Country Total Rank 5,367
  • Country Ranking
    Objective-C++     4
    C++
         811
    TypeScript
         1,241

Top repositories

1

russell

An implementation of the Russell logical framework
Objective-C++
8
star
2

sfl

Simple Functional Language - for compiler learning purpose.
C++
8
star
3

mdl-old

mdl is an implementation of the Russell logical framework
Objective-C++
3
star
4

russell-flow

Russell implementation with flow
TypeScript
3
star
5

kate-russell

Russell IDE as a kate editor plugin
C++
2
star
6

flow_fol

FOL automated deduction algorithms in flow9
1
star
7

math

Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)
Objective-C++
1
star
8

del

DEL stands for 'Decomposition in description logic EL'
C++
1
star