Skip to content
View srghma's full-sized avatar
65 followers · 11 following
Block or Report

Block or report srghma

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: All
Language: Idris
Sort by: Most stars
14 stars written in Idris
Clear filter

edwinb / Blodwen

A prototype successor to Idris

Idris 539 36 Updated Jul 8, 2019

joaomilho / awesome-idris

𝛌 Awesome Idris resources

Idris 381 19 Updated Feb 20, 2020

puffnfresh / iridium

xmonad with the X11 abstracted and configured with Idris

Idris 204 12 Updated May 31, 2019

david-christiansen / idris-quickcheck

A port of QuickCheck to Idris

Idris 57 9 Updated Oct 30, 2017

grin-compiler / idris-grin

GRIN backend for Idris

Idris 50 3 Updated Apr 11, 2020

idris-industry / ikan

build tool and package manager for idris,in idris,with free monads

Idris 34 3 Updated Feb 20, 2019

gonzaw / extensible-records

Extensible records for Idris

Idris 26 2 Updated Jun 13, 2021

fieldstrength / xquant

Dependently-typed structures for quantum physics in Idris

Idris 13 Updated Nov 25, 2015

stefan-hoeck / idris2-todomvc

Experimental TodoMVC implementation in Idris2 using rhone-js

Idris 8 Updated Dec 17, 2021

jheiling / idris-react

React bindings for Idris

Idris 7 1 Updated Mar 7, 2018

DSLstandard / idris2-ml

Type-dependent machine learning & linear algebra & auto backprop

Idris 3 Updated Jan 31, 2022

njjiang / Numdris

A linear algebra library in Idris

Idris 2 Updated Sep 4, 2018

marcesquerra / IdrisTest

Testing library for Idris

Idris 2 Updated Oct 19, 2019

jeetu7 / dasheri

Matrix type data store for Idris2

Idris 2 Updated May 3, 2020