Alternatives and similar repositories for kiselyov

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

• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆91Updated last week
• ilya-klyuchnikov / refal
  ☆13Updated 7 months ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆45Updated 8 years ago
• PenzaStreetGames / MetaStruct
  JIT-ускоритель программ на языке Python
  ☆33Updated 3 years ago
• true-grue / awesome-russian-cs-books
  ☆41Updated 3 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆78Updated last month
• kpmy / tri
  trinary.dart
  ☆16Updated 10 years ago
• Ivana- / Liscript
  ☆11Updated 10 years ago
• Yad-Studio / YAD-Studio
  Yad Studio - Markov algorithms IDE and interpreter
  ☆44Updated 11 years ago
• anton-k / ru-haskell-book
  учебник по Haskell
  ☆276Updated 2 years ago
• ulysses4ever / formal-langs-textbook-ru
  A textbook on formal languages and automata, in Russian
  ☆24Updated 5 years ago
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆23Updated 4 years ago
• true-grue / soviet_compilers
  Материалы к серии докладов о советской компиляторной школе
  ☆11Updated last year
• RoPi0n / mash-lang
  Untyped, lightweight, crossplatform OOP language.
  ☆94Updated 5 years ago
• trinarygroup / DSSP-32
  Dialog System for Structured Programming
  ☆20Updated 8 years ago
• sergev / gost-russian-standards
  GOST: Russian standards related to computers
  ☆19Updated 6 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆23Updated 6 months ago
• KvanTTT / Articles
  Collection of my articles in English and Russian
  ☆28Updated 4 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆28Updated 2 years ago
• ruHaskell / ruhaskell
  Главный сайт сообщества
  ☆229Updated 2 years ago
• HoTT / Foundations
  Development of the univalent foundations of mathematics in Coq
  ☆19Updated 13 years ago
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆37Updated last year
• radiolok / brainfuckpc
  Von-Neumann 16-bit relay computer with Brainfuck++ instruction set
  ☆47Updated 6 years ago
• vseloved / lisp-crash-ru
  Креш-курс по Lisp
  ☆17Updated 9 years ago
• bmstu-iu9 / scheme-labs
  Материалы по курсу «Основы информатики»
  ☆27Updated 10 months ago
• dvdagaev / Mob
  Multi Oberon Compiler
  ☆42Updated 4 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last week
• Vostok-space / vostok
  Oberon-07 translator
  ☆46Updated 3 weeks ago
• ibessonov / tm
  Generator of Turing Machines that run on Java generic types
  ☆10Updated 8 years ago
• artlebedev / parser3
  Parser 3, HTML-embedded scripting language
  ☆30Updated last week