Alternatives and similar repositories for GTK-Chess

Users that are interested in GTK-Chess are comparing it to the libraries listed below

• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆13Updated last year
• thautwarm / MLStyle.jl
  Julia functional programming infrastructures and metaprogramming facilities
  ☆418Updated last month
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆678Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆30Updated 4 months ago
• agda / agda-stdlib
  The Agda standard library
  ☆629Updated last week
• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆267Updated 6 months ago
• ruHaskell / ruhaskell
  Главный сайт сообщества
  ☆228Updated 2 years ago
• jagajaga / FP-Course-ITMO
  Slides and other materials for functional programming lectures ITMO university
  ☆625Updated 3 years ago
• iiuni / poradnik
  poradnik studiowania
  ☆10Updated 2 years ago
• shd / logic2021
  ☆13Updated 4 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• fjvallarino / monomer
  An easy to use, cross platform, GUI library for writing Haskell applications.
  ☆635Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆389Updated last week
• haskell-beginners-2022 / exercises
  💻 Exercises for the Haskell Beginners 2022 course
  ☆273Updated last year
• ekmett / ad
  Automatic Differentiation
  ☆385Updated 7 months ago
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆276Updated this week
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 3 years ago
• SphericalPotatoInVacuum / DependoBuf
  DependoBuf - a data serialization format with dependent types
  ☆16Updated 11 months ago
• typst-g7-32 / modern-g7-32
  Шаблон на typst для оформления документов согласно ГОСТ 7.32-2017.
  ☆134Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆175Updated 3 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆270Updated this week
• KovalevDima / ClickHaskell
  ClickHouse Native protocol driver in Haskell
  ☆51Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆313Updated 4 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆365Updated last year
• VArtem / lean-itmo
  ☆11Updated 4 years ago
• thautwarm / CanonicalTraits.jl
  Full-featured traits in Julia. Without full features how dare I say this?
  ☆66Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• clojurians-org / haskell-ebook
  ☆431Updated 3 years ago
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated 10 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆101Updated last year