LightAndLight/idris-tictactoe

TicTacToe using dependent types

GitHub repository with 5 stars and 0 forks.

Language: Idris

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 0 forks.

Similar repositories

  1. 1. idris-lang/Idris2

    A purely functional programming language with first class types

    GitHub repository with 2,964 stars and 404 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Idris

    Topics: compiler, dependent-types, hacktoberfest

  2. 2. idris-hackers/idris-koans

    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

    GitHub repository with 182 stars and 26 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Idris

Trending in Idris

  1. 1. idris-lang/Idris2

    A purely functional programming language with first class types

    GitHub repository with 2,964 stars and 404 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Idris

    Topics: compiler, dependent-types, hacktoberfest

  2. 2. idris-hackers/idris-koans

    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

    GitHub repository with 182 stars and 26 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Idris