Pinned Repositories
del
DEL stands for 'Decomposition in description logic EL'
dynaparse
dynamic parser (rules may be add in a runtime)
flow_fol
FOL automated deduction algorithms in flow9
flow_metamath
Metamath implementation in flow language
kate-russell
Russell IDE as a kate editor plugin
math
Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)
mdl-old
mdl is an implementation of the Russell logical framework
russell
An implementation of the Russell logical framework
russell-flow
Russell implementation with flow
sfl
Simple Functional Language - for compiler learning purpose.
dmitry-vlasov's Repositories
dmitry-vlasov/russell
An implementation of the Russell logical framework
dmitry-vlasov/sfl
Simple Functional Language - for compiler learning purpose.
dmitry-vlasov/mdl-old
mdl is an implementation of the Russell logical framework
dmitry-vlasov/russell-flow
Russell implementation with flow
dmitry-vlasov/kate-russell
Russell IDE as a kate editor plugin
dmitry-vlasov/del
DEL stands for 'Decomposition in description logic EL'
dmitry-vlasov/flow_fol
FOL automated deduction algorithms in flow9
dmitry-vlasov/math
Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)
dmitry-vlasov/dynaparse
dynamic parser (rules may be add in a runtime)
dmitry-vlasov/flow_metamath
Metamath implementation in flow language
dmitry-vlasov/semprog
Semantic programming framework
dmitry-vlasov/idea-russell-plugin
IntelliJIdea plugin for support of Russell and Metamath languages
dmitry-vlasov/noname
dmitry-vlasov/simlang
The Simple Language (simlang) implementation