fizruk / fpconf-2017-talkLinks
Материалы доклада «Функциональная виртуальная реальность: 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
Sorting:
- ☆17Updated 4 years ago
- Functional languages index☆42Updated 5 years ago
- A PureScript UI library built upon the react☆10Updated 3 years ago
- A short scripts and programs☆12Updated 2 years ago
- Haskell implementation of ua-parser☆12Updated 3 years ago
- ☆10Updated 5 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- GHC .prof files viewer☆19Updated 2 years ago
- STM on Free monads☆23Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- Snakes game demo.☆16Updated 8 years ago
- Double-ended queues☆14Updated 4 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Python5☆15Updated 5 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Haskell Enterprise Edition☆12Updated 7 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 7 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- Recursion schemes in ATS☆9Updated 3 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- Non-empty Vectors☆24Updated last month
- Bread Unit calculator☆33Updated 5 years ago
- ☆49Updated 7 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Proof theory seminar☆35Updated 4 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 7 years ago