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
- GHC .prof files viewer☆19Updated 2 years ago
- ☆17Updated 4 years ago
- STM on Free monads☆23Updated 6 years ago
- ☆10Updated 5 years ago
- Haskell Enterprise Edition☆12Updated 7 years ago
- Functional languages index☆41Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Snakes game demo.☆16Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 3 months ago
- A short scripts and programs☆12Updated 2 years ago
- 🧊 Інститут формальної математики☆34Updated this week
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆28Updated 6 years ago
- Haskell implementation of ua-parser☆12Updated 3 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Harmonize with coworkers around GitHub reviewing.☆20Updated this week
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Double-ended queues☆14Updated 2 months ago
- Accessing Postgres in a data frame in Haskell☆24Updated last year
- Proof theory seminar☆34Updated 4 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Implements a graphical haskell debugger in atom, using ghci☆21Updated 6 years ago