fizruk / fpconf-2017-talk
Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
☆9Updated 7 years ago
Alternatives and similar repositories for fpconf-2017-talk:
Users that are interested in fpconf-2017-talk are comparing it to the libraries listed below
- ☆17Updated 4 years ago
- GHC .prof files viewer☆19Updated 2 years ago
- Functional languages index☆42Updated 5 years ago
- Snakes game demo.☆16Updated 8 years ago
- ☆10Updated 4 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 3 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- STM on Free monads☆23Updated 6 years ago
- A short scripts and programs☆12Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆21Updated 6 months ago
- haskell imagemagick bindings☆27Updated 2 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 7 years ago
- 🧊 Інститут формальної математики☆34Updated last week
- ☆49Updated 7 years ago
- Haskell Enterprise Edition☆12Updated 7 years ago
- Fast higher-order effect handlers with evidence passing☆19Updated last year
- Presentations on Liquid Haskell, type theory, and more☆45Updated 5 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- ☆43Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 2 months ago
- A PureScript UI library built upon the react☆10Updated 2 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- Haskell implementation of ua-parser☆12Updated 3 years ago
- ☆30Updated 7 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated 5 months ago
- ☆34Updated 11 months ago