| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| .emacs for work | Aug 28th, 2018 | Never | 100 | 0 | Scheme | - |
| Динамические опердени | Apr 20th, 2018 | Never | 202 | 0 | None | - |
| typed lambda haskell | Nov 19th, 2017 | Never | 105 | 0 | Haskell | - |
| Continuations in Haskell | Nov 18th, 2017 | Never | 84 | 0 | None | - |
| continuations Kleisli & monad example | Nov 18th, 2017 | Never | 111 | 0 | Haskell | - |
| good layout | Sep 8th, 2017 | Never | 62 | 0 | HTML | - |
| Улицы Екатеринбурга | Aug 30th, 2017 | Never | 112 | 0 | None | - |
| Excluded middle equivalents | Aug 30th, 2017 | Never | 96 | 0 | None | - |
| Simple heat transfer simulation | Jul 10th, 2017 | Never | 88 | 0 | ECMAScript | - |
| HaskellLambda | Jun 10th, 2017 | Never | 112 | 0 | Haskell | - |
| metaballs | Jun 5th, 2017 | Never | 79 | 0 | ECMAScript | - |
| CoqInduction | Mar 27th, 2017 | Never | 181 | 0 | None | - |
| Unicode notation for Coq | Mar 20th, 2017 | Never | 212 | 0 | None | - |
| First Order Haskell Chaos | Feb 25th, 2017 | Never | 116 | 0 | Haskell | - |
| О побочных эффектах практики магии смерти на частном примере | Nov 1st, 2016 | Never | 122 | 0 | None | - |
| Классификация групп порядка 75 | Oct 31st, 2016 | Never | 70 | 0 | None | - |
| Prolog(разное) | Sep 19th, 2016 | Never | 109 | 0 | None | - |
