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:
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- A framework for applied category theory in the Julia language☆680Updated last week
- The Agda standard library☆632Updated this week
- A new Categories library for Agda☆390Updated this week
- Julia functional programming infrastructures and metaprogramming facilities☆417Updated 2 months ago
- HoTTEST Summer School materials☆314Updated 5 months ago
- Главный сайт сообщества☆228Updated 2 years ago
- The agda-unimath library☆273Updated last week
- An experimental library for Cubical Agda☆509Updated 2 weeks ago
- The collected works of F. W. Lawvere☆366Updated last year
- Agda is a dependently typed programming language / interactive theorem prover.☆2,737Updated last week
- Slides and other materials for functional programming lectures ITMO university☆626Updated 3 years ago
- a programming language with composable refinements and inverse functions inference☆10Updated last year
- Computational algebraic number theory☆278Updated last week
- The GAP package Semigroups☆27Updated this week
- преобразования регулярных выражений и конечных автоматов☆20Updated 8 months ago
- ☆119Updated last year
- Haskell library for building declarative animations based on SVG graphics☆1,164Updated 9 months ago
- Machine Learning in Haskell☆27Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated last week
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- lean code☆10Updated 10 months ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆389Updated 2 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- Examples to accompany the book "Haskell in Depth"☆267Updated 6 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 3 years ago
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- Experimental port of ADEV to Julia☆11Updated last year
- Accelerated machine learning with dependent types☆101Updated 2 months ago