pddshk / GTK-Chess
UCI chess engine GUI written in C. The project is in active development and is not ready to use yet
☆20Updated last year
Alternatives and similar repositories for GTK-Chess:
Users that are interested in GTK-Chess are comparing it to the libraries listed below
- Interpolate plugin for GHC 8.10.7☆13Updated 2 years ago
- Главный сайт сообщества☆229Updated 2 years ago
- Easy to use library for building Telegram bots in Haskell.☆107Updated 4 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- The Agda standard library☆607Updated this week
- Ваша первая книга о языке Haskell☆265Updated last year
- Terminal logs observer☆19Updated 2 months ago
- Учебник теории категорий☆364Updated 7 years ago
- Purely-functional, coordinate-free linear algebra☆28Updated 8 months ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 6 years ago
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago
- The agda-unimath library☆247Updated this week
- учебник по Haskell☆276Updated last year
- Automatic Differentiation☆379Updated last month
- Examples to accompany the book "Haskell in Depth"☆260Updated 4 months ago
- ☆41Updated 10 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last month
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆377Updated 2 months ago
- VS Code extension for Haskell, powered by haskell-language-server☆569Updated this week
- HoTTEST Summer School materials☆297Updated last year
- Slides and other materials for functional programming lectures ITMO university☆616Updated 3 years ago
- A new Categories library for Agda☆374Updated last week
- Generate Haskell bindings for GObject-Introspection capable libraries☆299Updated last month
- A library for probabilistic programming in Haskell.☆424Updated this week
- Machine Learning in Haskell☆29Updated 10 months ago
- DependoBuf - a data serialization format with dependent types☆16Updated 4 months ago
- Telegram Bot API for Haskell☆204Updated 2 years ago
- 💻 Exercises for the Haskell Beginners 2022 course☆271Updated 10 months ago
- LaTeX styles for different purposes.☆104Updated last year