Fedor Isakov's repositories
pebble-sdk-characterRegex
Pebble SDK release 001 patch to support unicode in 'characterRegex' filter of a font manifest
fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
typechecking-lambdacalc
Introductory article on type checking with constraint rules
conreactor
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
Language:JetBrains MPSApache-2.0000
lambdacalc
Demo of using the typechecking with constraint rules
mbeddr.core
The mbeddr core. An extensible C
Language:JavaNOASSERTION000
mps-unification
Implementation of syntactic unification algorithm on term graphs
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera