Skip to content

Instantly share code, notes, and snippets.

View manzyuk's full-sized avatar

Oleksandr Manzyuk manzyuk

35 followers · 13 following
View GitHub Profile
@manzyuk
manzyuk / index.html
Created June 13, 2025 16:46
<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" },
@manzyuk
manzyuk / exercise4.lean
Last active March 20, 2022 23:38
import algebra.category.CommRing
import category_theory.yoneda
import data.polynomial.algebra_map
open category_theory
open opposite
open polynomial
noncomputable theory
@manzyuk
manzyuk / keybase.md
Created November 12, 2014 21:17

Keybase proof

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:

@manzyuk
manzyuk / lam-T.ss
Created July 1, 2012 21:55
Formalization of the perturbative λ-calculus in Redex
#lang racket
(require redex)
(define-language λT
;; Terms
(e x
(λ (x) e)
(e e)
0
(+ e ...)
@manzyuk
manzyuk / gist:1239482
Created September 24, 2011 16:00
Solution of the ITA's "Strawberry Fields" puzzle (program's output).
41
.............
.............
.............
...AAAA......
...AAAA......
...AAAA......
.......BBB...
.......BBB...
.......BBB...
@manzyuk
manzyuk / gist:1239480
Created September 24, 2011 15:58
Solution of the ITA's "Strawberry Fields" puzzle.
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
manzyuk / gist:842655
Created February 24, 2011 18:56
Adam's XMonad setup
import Control.OldException(catchDyn,try)
import XMonad.Util.Run
import Control.Concurrent
import DBus
import DBus.Connection
import DBus.Message
import System.Cmd
import XMonad
import XMonad.Config.Gnome
import XMonad.Hooks.DynamicLog
@manzyuk
manzyuk / gist:768884
Created January 7, 2011 00:04
snow effect
// Set the number of snowflakes (more than 30 - 40 not recommended)
var snowmax=120
// Set the colors for the snow. Add as many colors as you like
var snowcolor=new Array("#b9dff5","#b9dff5","#b9dff5","#b9dff5","#b9dff5")
// Set the fonts, that create the snowflakes. Add as many fonts as you like
var snowtype=new Array("Times")
// Set the letter that creates your snowflake (recommended: * )
@manzyuk
manzyuk / gist:753487
Created December 23, 2010 20:16
xmonad+GNOME setup
import XMonad
import XMonad.Config.Gnome
import XMonad.Layout.NoBorders
import XMonad.Hooks.ManageDocks
import XMonad.Hooks.ManageHelpers
import Monad
@manzyuk
manzyuk / gist:753485
Created December 23, 2010 20:15
/etc/X11/Xsession.d/01x11-common_setup-vars
OPTIONFILE=${OPTIONFILE:-/etc/X11/Xsession.options}
SYSRESOURCES=${SYSRESOURCES:-/etc/X11/Xresources}
USRRESOURCES=${USRRESOURCES:-$HOME/.Xresources}
SYSSESSIONDIR=${SYSSESSIONDIR:-/etc/X11/Xsession.d}
USERXSESSION=${USERXSESSION:-$HOME/.xsession}
USERXSESSIONRC=${USERXSESSIONRC:-$HOME/.xsessionrc}
ALTUSERXSESSION=${ALTUSERXSESSION:-$HOME/.Xsession}
ERRFILE=${ERRFILE:-$HOME/.xsession-errors}