pddshk / GTK-ChessLinks
UCI chess engine GUI written in C
☆21Updated last year
Alternatives and similar repositories for GTK-Chess
Users that are interested in GTK-Chess are comparing it to the libraries listed below
Sorting:
- A framework for applied category theory in the Julia language☆673Updated last month
- Julia functional programming infrastructures and metaprogramming facilities☆416Updated 2 weeks ago
- DependoBuf - a data serialization format with dependent types☆16Updated 10 months ago
- The Agda standard library☆626Updated 2 weeks ago
- A library for probabilistic programming in Haskell.☆439Updated this week
- Slides and other materials for functional programming lectures ITMO university☆625Updated 3 years ago
- Computational algebraic number theory☆273Updated this week
- Experimental port of ADEV to Julia☆11Updated last year
- Relational Algebra, now with more algebra!☆55Updated last week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆383Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,454Updated this week
- Examples to accompany the book "Haskell in Depth"☆265Updated 5 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆637Updated last year
- A new Categories library for Agda☆387Updated last week
- VS Code extension for Haskell, powered by haskell-language-server☆585Updated last week
- LaTeX styles for different purposes.☆107Updated 2 years ago
- An experimental library for Cubical Agda☆502Updated 3 weeks ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 3 weeks ago
- A 2D charting library for haskell☆437Updated 4 months ago
- Automatic Differentiation☆384Updated 6 months ago
- Шаблон на typst для оформления документов согласно ГОСТ 7.32-2017.☆123Updated last week
- ☆16Updated last year
- HoTTEST Summer School materials☆311Updated 3 months ago
- Machine Learning in Haskell☆28Updated last year
- Small Experimental Package to connect a Pluto notebook to an open VSCode instance for debugging☆12Updated last year
- ☆13Updated 4 years ago
- The agda-unimath library☆267Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆397Updated this week
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago