Alternatives and similar repositories for russell:

Users that are interested in russell are comparing it to the libraries listed below

• kirpichik / VKChatFakeTyping
  Фейковый вечный статус "набирает сообщение" в чатах ВКонтакте
  ☆5Updated 6 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆71Updated 2 months ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 2 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• makrushin-evgenii / NSU_C
  Лабораторные работы первого курса ФИТ НГУ по Си
  ☆8Updated 7 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆51Updated 4 years ago
• edu-xored / tracker
  Git-based distributed issue tracker
  ☆17Updated 8 years ago
• ulysses4ever / formal-langs-textbook
  ☆24Updated 4 years ago
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 6 years ago
• JetBrains / arend-lib
  ☆80Updated this week
• cblp / funlangs
  Functional languages index
  ☆42Updated 5 years ago
• nihirash / ells
  Embeddable Lisp-Like Scripting
  ☆68Updated 6 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• ilya-klyuchnikov / refal
  ☆13Updated 2 years ago
• danyaberezun / compilers-supplementary
  ☆9Updated last month
• kirpichik / Linear-Workflow
  Linear Workflow Executor
  ☆7Updated 6 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆24Updated this week
• anton-k / ru-haskell-book
  учебник по Haskell
  ☆277Updated last year
• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆132Updated 6 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 5 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• artemohanjanyan / tt-conspect
  Notes for type theory course
  ☆21Updated 6 years ago
• YaccConstructor / articles
  Papers sources, pictures, presentations, and other stuff
  ☆22Updated 3 weeks ago
• coq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆45Updated last month
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Updated 5 years ago
• denisshevchenko / ohaskell.guide
  Ваша первая книга о языке Haskell
  ☆265Updated last year
• radiolok / brainfuckpc
  Von-Neumann 16-bit relay computer with Brainfuck++ instruction set
  ☆42Updated 5 years ago
• rbtsv / Bad-Python-tread
  ☆14Updated last year
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 2 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆24Updated last year