ruHaskell-learn / lhx

Related projects: ⓘ

• CatTheoryByExample / book
  The category theory by example book
  ☆56Updated last year
• qnikst / irc-simple
  ☆30Updated 6 years ago
• goosedb / InterpolatePlugin
  Interpolate plugin for GHC 8.10.7
  ☆13Updated 2 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆49Updated 3 years ago
• fizruk / telegram-bot-simple
  Easy to use library for building Telegram bots in Haskell.
  ☆106Updated 3 weeks ago
• swamp-agr / lambdabot-telegram-plugins
  Telegram Lambdabot Bot
  ☆11Updated 3 months ago
• goosedb / Monalog
  Terminal logs observer
  ☆16Updated 2 months ago
• clayrat / fav-ssr
  Functional Algorithms Verified in SSReflect
  ☆39Updated last week
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• nponeccop / haskell-exercises
  ☆41Updated 9 years ago
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 5 years ago
• vsha96 / mllib
  Machine Learning in Haskell
  ☆29Updated 4 months ago
• nodew / haskell-realworld-example
  A Haskell implementation of realworld.io
  ☆53Updated 6 months ago
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆55Updated last year
• fizruk / lambdaconf-2018-workshop
  LambdaConf 2018 workshop on building Telegram bots in Haskell.
  ☆25Updated 5 years ago
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 6 years ago
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 2 years ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆108Updated 8 months ago
• fizruk / snakes-demo
  Snakes game demo.
  ☆16Updated 7 years ago
• ruHaskell / ruhaskell
  Главный сайт сообщества
  ☆228Updated last year
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated last year
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated 7 months ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 2 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 4 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆74Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆76Updated 3 weeks ago
• oswald2 / haskell_articles
  A List of Haskell articles on good design, good testing
  ☆45Updated 4 years ago