I hereby claim:
- I am manzyuk on github.
- I am manzyuk (https://keybase.io/manzyuk) on keybase.
- I have a public key whose fingerprint is FA9F 0242 2196 03AC FDED 4C2E FFCD 7A93 6C08 6A78
To claim this, I am signing this object:
Oleksandr Manzyuk manzyuk
manzyuk
/ gist:1239480
Created
September 24, 2011 15:58
Solution of the ITA's "Strawberry Fields" puzzle.
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
| import Data.Array | |
| import Data.Char | |
| import Data.List | |
| import Data.Maybe | |
| import Data.Ord | |
| import Control.Applicative | |
| import System.Environment | |
| import System.IO.Unsafe |
manzyuk
/ gist:1239482
Created
September 24, 2011 16:00
Solution of the ITA's "Strawberry Fields" puzzle (program's output).
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
| 41 | |
| ............. | |
| ............. | |
| ............. | |
| ...AAAA...... | |
| ...AAAA...... | |
| ...AAAA...... | |
| .......BBB... | |
| .......BBB... | |
| .......BBB... |
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
| #lang racket | |
| (require redex) | |
| (define-language λT | |
| ;; Terms | |
| (e x | |
| (λ (x) e) | |
| (e e) | |
| 0 | |
| (+ e ...) |
manzyuk
/ keybase.md
Created
November 12, 2014 21:17
manzyuk
/ exercise4.lean
Last active
March 20, 2022 23:38
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
| import algebra.category.CommRing | |
| import category_theory.yoneda | |
| import data.polynomial.algebra_map | |
| open category_theory | |
| open opposite | |
| open polynomial | |
| noncomputable theory |
manzyuk
/ index.html
Created
June 13, 2025 16:46
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
| <html> | |
| <body style="margin: 0"> | |
| <div id="root"></div> | |
| <script src="https://unpkg.com/[email protected]/umd/react.development.js"></script> | |
| <script src="https://unpkg.com/[email protected]/umd/react-dom.development.js"></script> | |
| <script src="https://unpkg.com/@babel/[email protected]/babel.js"></script> | |
| <script src="https://unpkg.com/@babel/[email protected]/babel.js"></script> | |
| <script type="text/babel"> | |
| const items = [ | |
| { id: 1, label: "Item 1", details: "Details for item 1" }, |
OlderNewer