Dmitri Vychikov Frazi1
Frazi1
/ owned_types.cs
Created
April 14, 2020 08:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| using System.Linq; | |
| using Microsoft.EntityFrameworkCore; | |
| using Microsoft.VisualStudio.TestTools.UnitTesting; | |
| namespace PropertyManagementSync.Tests | |
| { | |
| [TestClass] | |
| public class OwnedTypeTests | |
| { | |
| [Owned] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| data Set a = Set (a->Bool) | |
| contains (Set a) x = a x | |
| singletonSet x = Set(\y-> x==y) | |
| union a b = Set(\x -> contains a x || contains b x) | |
| intersect a b = Set(\x -> contains a x && contains b x) | |
| forall s p = |
Frazi1
/ gist:90f65a3ca11be975f95ed71954f7fe9c
Created
March 8, 2019 13:10
state_machine.turing.yaml
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| input: '10001011000' | |
| blank: ' ' | |
| start state: step_1 | |
| table: | |
| step_1: | |
| [1]: {R: step_2} | |
| [0]: {R} | |
| ' ': {R: failure} | |
| step_2: |
Frazi1
/ ternary_sum.turing.yaml
Last active
February 15, 2019 19:00
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| input: '2222+1' | |
| blank: ' ' | |
| start state: right | |
| table: | |
| right: | |
| [0,1,2,+,A,B,C]: R | |
| ' ' : {L: seek_right_digit} | |
| seek_right_digit: | |
| 0: {write: X, L: seek_separator_to_left} |
Frazi1
/ gist:9e8257b53fb41dd88827d89dba4f8695
Created
December 22, 2017 18:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| public static class ReturnTypeToStringConverter | |
| { | |
| public static string Convert(ReturnType returnType) | |
| { | |
| switch (returnType) | |
| { | |
| case BoolReturnType boolReturnType: | |
| return JasminReferenceConstants.JavaBool; | |
| case CharReturnType charReturnType: | |
| return JasminReferenceConstants.JavaChar; |
Frazi1
/ gist:4768b379e2c4885fbbb4fa49fe13b05b
Created
December 22, 2017 18:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| public static class ReturnTypeToStringConverter | |
| { | |
| public static string Convert(ReturnType returnType) | |
| { | |
| switch (returnType) | |
| { | |
| case BoolReturnType boolReturnType: | |
| return JasminReferenceConstants.JavaBool; | |
| case CharReturnType charReturnType: | |
| return JasminReferenceConstants.JavaChar; |
Frazi1
/ gist:4389f4c1c34e14776716215a54668b3f
Created
December 22, 2017 18:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| public static class ReturnTypeToStringConverter | |
| { | |
| public static string Convert(ReturnType returnType) | |
| { | |
| switch (returnType) | |
| { | |
| case BoolReturnType boolReturnType: | |
| return JasminReferenceConstants.JavaBool; | |
| case CharReturnType charReturnType: | |
| return JasminReferenceConstants.JavaChar; |
Frazi1
/ piepiecs.cs
Created
May 7, 2017 09:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| private void DrawGeometry(StreamGeometryContext context) | |
| { | |
| Point startPoint = new Point(CenterX, CenterY); | |
| Point innerArcStartPoint = | |
| Utils.CartesianCoordinate(RotationAngle, InnerRadius); | |
| innerArcStartPoint.Offset(CenterX, CenterY); | |
| Point innerArcEndPoint = | |
| Utils.CartesianCoordinate(RotationAngle + WedgeAngle, InnerRadius); |