| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| .emacs for work | Aug 28th, 2018 | Never | 121 | 0 | Scheme | - |
| Динамические опердени | Apr 20th, 2018 | Never | 236 | 0 | None | - |
| typed lambda haskell | Nov 19th, 2017 | Never | 122 | 0 | Haskell | - |
| Continuations in Haskell | Nov 18th, 2017 | Never | 103 | 0 | None | - |
| continuations Kleisli & monad example | Nov 18th, 2017 | Never | 126 | 0 | Haskell | - |
| good layout | Sep 8th, 2017 | Never | 78 | 0 | HTML | - |
| Улицы Екатеринбурга | Aug 30th, 2017 | Never | 151 | 0 | None | - |
| Excluded middle equivalents | Aug 30th, 2017 | Never | 119 | 0 | None | - |
| Simple heat transfer simulation | Jul 10th, 2017 | Never | 106 | 0 | ECMAScript | - |
| HaskellLambda | Jun 10th, 2017 | Never | 131 | 0 | Haskell | - |
| metaballs | Jun 5th, 2017 | Never | 97 | 0 | ECMAScript | - |
| CoqInduction | Mar 27th, 2017 | Never | 198 | 0 | None | - |
| Unicode notation for Coq | Mar 20th, 2017 | Never | 235 | 0 | None | - |
| First Order Haskell Chaos | Feb 25th, 2017 | Never | 147 | 0 | Haskell | - |
| О побочных эффектах практики магии смерти на частном примере | Nov 1st, 2016 | Never | 146 | 0 | None | - |
| Классификация групп порядка 75 | Oct 31st, 2016 | Never | 91 | 0 | None | - |
| Prolog(разное) | Sep 19th, 2016 | Never | 130 | 0 | None | - |
