Pinned Repositories
conreactor
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
CustomTestEngine
fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
gradle
Adaptable, fast automation for all
jetbrains-maprules
lambdacalc
Demo of using the typechecking with constraint rules
mps-example-physunits
pebble-sdk-characterRegex
Pebble SDK release 001 patch to support unicode in 'characterRegex' filter of a font manifest
typechecking-lambdacalc
Introductory article on type checking with constraint rules
mps-coderules
Type checking and logical inference for JetBrains MPS
fisakov's Repositories
fisakov/pebble-sdk-characterRegex
Pebble SDK release 001 patch to support unicode in 'characterRegex' filter of a font manifest
fisakov/fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
fisakov/mps-example-physunits
fisakov/typechecking-lambdacalc
Introductory article on type checking with constraint rules
fisakov/conreactor
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
fisakov/CustomTestEngine
fisakov/gradle
Adaptable, fast automation for all
fisakov/jetbrains-maprules
fisakov/lambdacalc
Demo of using the typechecking with constraint rules
fisakov/mbeddr.core
The mbeddr core. An extensible C
fisakov/mps-unification
Implementation of syntactic unification algorithm on term graphs
fisakov/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera