Here are
249 public repositories
matching this topic...
m,n,k-game engine (and variations) implemented in Idris
Updated
Jan 28, 2018
Idris
Updated
Apr 12, 2017
Idris
Solutions to Exercises in Type-Driven Development with Idris
Updated
Sep 14, 2018
Idris
W types or well founded trees
Updated
Jul 17, 2018
Idris
idris support for SpaceVim
Updated
Sep 24, 2019
Vim Script
An idris library to colorize strings for terminals
Updated
Jul 3, 2017
Idris
Interfaces for heyting algebras and verified bounded join and meet semilattices
Updated
Nov 17, 2019
Idris
A LUG Talk about Idris, a general purpose language with dependent types.
Maybe eventually a spiritual port of noweb to Idris.
Updated
Dec 25, 2021
Idris
Newtype, Generic Interface Deriving
Updated
Dec 6, 2022
Idris
Game 2048 written in a language with dependent types.
Updated
Oct 19, 2016
Idris
dependently typed Statebox (heavy WIP)
Updated
Nov 2, 2016
Idris
Playground for learning Idris through "TDD with Idris"
Updated
Oct 30, 2017
Idris
Updated
Aug 21, 2017
JavaScript
An Idris implementation of lsc-todaybot - a bot which moves the [TODAY] flair around on reddit.com/r/LondonSocialClub
Updated
Sep 26, 2017
Idris
console game of crosses-zeros (a tic-tac-toe game) in Idris
Updated
Dec 22, 2018
Idris
WIP: Idris model of the WebAssembly-specification.
Updated
Feb 6, 2021
Idris
A makeshift package management system for idris
Updated
Jul 21, 2017
JavaScript
Improve this page
Add a description, image, and links to the
idris
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
idris
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.