George66/Textbook external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

George66/Textbook

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/George66/Textbook)

Close

George66 / TextbookView on GitHubMore

• External links
• Readme badge

Учебник теории категорий

☆372Jan 12, 2018Updated 8 years ago

Alternatives and similar repositories for Textbook

Users that are interested in Textbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• bravit / idris-cs-hse

  View on GitHub
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆45Dec 2, 2017Updated 8 years ago
• ilya-klyuchnikov / refal

  View on GitHub
  ☆13Apr 19, 2025Updated last year
• gogabr / pfds

  View on GitHub
  Russian translation of Okasaki's Purely Functional Data Structures
  ☆170Dec 10, 2020Updated 5 years ago
• nponeccop / HNC

  View on GitHub
  HN Compiler
  ☆61Aug 20, 2025Updated last year
• anton-k / ru-haskell-book

  View on GitHub
  учебник по Haskell
  ☆275Aug 8, 2023Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• ruHaskell / ruhaskell

  View on GitHub
  Главный сайт сообщества
  ☆231Jun 28, 2026Updated 2 months ago
• mokevnin / you-don-t-know-oop

  View on GitHub
  Знаете ли вы ооп?
  ☆215Oct 25, 2022Updated 3 years ago
• ForNeVeR / skalarprodukt

  View on GitHub
  Experimental multidimensional arrays for F#
  ☆11Nov 12, 2017Updated 8 years ago
• monadfix / nix-cabal

  View on GitHub
  Run cabal inside nix-shell
  ☆14Jul 26, 2019Updated 7 years ago
• Lanayx / HighloadCup

  View on GitHub
  Highload cup F# solution
  ☆12Oct 9, 2018Updated 7 years ago
• anton-k / monads-for-drummers

  View on GitHub
  Haskell Monad tutorial with pictures
  ☆135Aug 5, 2016Updated 10 years ago
• codingteam / naggum

  View on GitHub
  .NET-based lisp for a more civilized age
  ☆16Mar 12, 2022Updated 4 years ago
• scala-russian / fpspeedrun

  View on GitHub
  ☆25Feb 8, 2019Updated 7 years ago
• Ivana- / Liscript

  View on GitHub
  ☆11Oct 6, 2015Updated 10 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ps-group / compiler-theory-samples

  View on GitHub
  Примеры элементов фронтенда и бекенда компилятора на C++, Lemon и LLVM
  ☆11Apr 24, 2017Updated 9 years ago
• ForNeVeR / praefectus

  View on GitHub
  Programmable organizer application suite.
  ☆15Aug 15, 2026Updated 2 weeks ago
• neongreen / haskell-ex

  View on GitHub
  (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group
  ☆47Mar 12, 2017Updated 9 years ago
• groupoid / groupoid.space

  View on GitHub
  🧊 Інститут формальної математики
  ☆35Jun 27, 2026Updated 2 months ago
• qnikst / irc-simple

  View on GitHub
  ☆30Mar 22, 2018Updated 8 years ago
• fomkin / korolev

  View on GitHub
  Single Page Applications running on the server side.
  ☆574Aug 13, 2023Updated 3 years ago
• eltimn / sbt-frontend

  View on GitHub
  SBT version of frontend-maven-plugin
  ☆12Sep 27, 2018Updated 7 years ago
• gspindles / Papers

  View on GitHub
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Aug 8, 2017Updated 9 years ago
• ilammy / lisp

  View on GitHub
  Lisp In Small Pieces на русском языке
  ☆196May 8, 2022Updated 4 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• darkleaf / publicator

  View on GitHub
  ☆17Mar 30, 2021Updated 5 years ago
• mathculthello / math.ru

  View on GitHub
  Сайт math.ru
  ☆14Jan 7, 2023Updated 3 years ago
• cblp / funlangs

  View on GitHub
  Functional languages index
  ☆42Sep 23, 2019Updated 6 years ago
• szhukovks / ragel-parser

  View on GitHub
  Синтаксический анализ и валидация данных на основе конечных автоматов (Ragel)
  ☆10Dec 19, 2017Updated 8 years ago
• darius / cogen

  View on GitHub
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13May 21, 2016Updated 10 years ago
• aliev / runestone

  View on GitHub
  Перевод книги Problem Solving with Algorithms and Data Structures Using Python
  ☆401Jul 20, 2024Updated 2 years ago
• ps-group / ps-group.github.io

  View on GitHub
  Github pages for programming courses in IPS and Volgatech
  ☆18Apr 15, 2019Updated 7 years ago
• aparo / awesome-zio

  View on GitHub
  A big collection of useful ZIO links
  ☆137Dec 10, 2021Updated 4 years ago
• tofu-tf / typed-schema

  View on GitHub
  Typelevel http service definition DSL
  ☆152Aug 19, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• darkleaf / app-from-scratch

  View on GitHub
  Book about Clean Architecture and Clojure
  ☆86Jul 15, 2020Updated 6 years ago
• o3 / n2o

  View on GitHub
  ⭕️ N2O: Haskell Application Server
  ☆47Feb 16, 2022Updated 4 years ago
• no-stack-dub-sack / algos-and-data-structures

  View on GitHub
  Interactive overview of common sorting algorithms, data structures, and miscellaneous algorithm challenges, implemented in JavaScript
  ☆14Nov 5, 2017Updated 8 years ago
• jagajaga / FP-Course-ITMO

  View on GitHub
  Slides and other materials for functional programming lectures ITMO university
  ☆626Jan 17, 2022Updated 4 years ago
• ForNeVeR / andivionian-status-classifier

  View on GitHub
  Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.
  ☆18Feb 4, 2024Updated 2 years ago
• alexeyr / miet-haskell-course

  View on GitHub
  ☆25Jun 3, 2024Updated 2 years ago
• bmstu-iu9 / refal-5-lambda

  View on GitHub
  Компилятор Рефала-5λ
  ☆97Aug 14, 2026Updated 2 weeks ago