vsha96 / mllib
Machine Learning in Haskell
☆29Updated 4 months ago
Related projects: ⓘ
- Telegram Lambdabot Bot☆11Updated 3 months ago
- Interpolate plugin for GHC 8.10.7☆13Updated 2 years ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated last year
- Easy to use library for building Telegram bots in Haskell.☆106Updated 3 weeks ago
- ☆30Updated 6 years ago
- Terminal logs observer☆16Updated 2 months ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 5 years ago
- Functional Algorithms Verified in SSReflect☆39Updated last week
- ☆33Updated 4 months ago
- ☆41Updated 9 years ago
- The category theory by example book☆56Updated last year
- Simple Structured logger☆14Updated last year
- Notes for type theory course☆21Updated 5 years ago
- Haskell implementation of RON and RON-RDT☆65Updated 2 months ago
- Facilities for generating dependently-typed data☆20Updated this week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated last year
- Set breakpoints using a GHC plugin☆46Updated 4 months ago
- 📊 Haskell dependencies build times profiler☆73Updated last year
- Snakes game demo.☆16Updated 7 years ago
- A higher-order effect system where the sky's the limit☆90Updated 2 years ago
- Importi.fy — it's like Uber, but for Haskell modules.☆104Updated 6 years ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- Cryptographic currency implementing Ouroboros PoS protocol☆12Updated 4 years ago
- Coq Lecture Notes (WIP)☆49Updated 3 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- Haskell homework tests☆31Updated 2 years ago
- Главный сайт сообщества☆228Updated last year
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- ☆13Updated 3 years ago