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:
- Julia functional programming infrastructures and metaprogramming facilities☆415Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 7 months ago
- A framework for applied category theory in the Julia language☆667Updated last week
- Slides and other materials for functional programming lectures ITMO university☆624Updated 3 years ago
- Haskell library for building declarative animations based on SVG graphics☆1,162Updated 6 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆633Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- A slightly improved variant of the official thesis sample☆31Updated last year
- A formatter for Haskell source code☆1,009Updated this week
- VS Code extension for Haskell, powered by haskell-language-server☆581Updated last week
- Tensors and neural networks in Haskell☆1,145Updated this week
- Computational algebraic number theory☆267Updated this week
- 📜 Haskell course info, plan, video lectures, slides☆1,427Updated 2 years ago
- ☆18Updated last year
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆720Updated this week
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- ☆10Updated 3 years ago
- Machine Learning in Haskell☆28Updated last year
- Examples to accompany the book "Haskell in Depth"☆263Updated 3 months ago
- The Agda standard library☆620Updated this week
- Главный сайт сообщества☆228Updated 2 years ago
- Шаблон на typst для оформления документов согласно ГОСТ 7.32-2017.☆111Updated 2 months ago
- ☆13Updated 4 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,684Updated this week
- Very low feature GHCi based IDE☆1,162Updated last year
- fun pluto notebooks☆17Updated last month
- Applicative option parser☆941Updated last month
- A library for probabilistic programming in Haskell.☆435Updated this week
- Functional reactive web and mobile applications, with batteries included.☆1,008Updated 2 weeks ago
- A gently curated list of companies using Haskell in industry☆975Updated 3 months ago