dmitry-vlasov

Dmitry Vlasov's repositories

An implementation of the Russell logical framework

Language:Objective-C++GPL-3.08 2 2

Simple Functional Language - for compiler learning purpose.

Language:C++GPL-3.08 30

mdl is an implementation of the Russell logical framework

Language:Objective-C++GPL-3.0300

Russell implementation with flow

Language:TypeScript300

Russell IDE as a kate editor plugin

Language:C++NOASSERTION200

DEL stands for 'Decomposition in description logic EL'

Language:C++GPL-3.01 20

FOL automated deduction algorithms in flow9

100

Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)

Language:Objective-C++100

dynamic parser (rules may be add in a runtime)

Language:C++GPL-3.002 1

Metamath implementation in flow language

Language:Objective-C++000

Semantic programming framework

Language:Shell000

IntelliJIdea plugin for support of Russell and Metamath languages

Language:Java000

000

The Simple Language (simlang) implementation

Language:SlashNOASSERTION000