HuwCampbell/idris-lens HuwCampbell/idris-lens

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HuwCampbell/idris-lens
github

HuwCampbell

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

van Laarhoven lenses for Idris

More Repositories

1

grenade

Deep Learning in Haskell
Haskell
1,439
star
2

orc-haskell

Haskell ORC File Handler
Haskell
8
star
3

optparse-idris

Minimal port of optparse-applicative to idris
Idris
6
star
4

snappier

R bindings for the snappy compression library
C++
5
star
5

acme-yolo

Very Serious Tooling
Haskell
2
star
6

ivory

Scala
2
star
7

box

Querying and configuration-free ssh access to servers.
Haskell
1
star
8

8Queens

Haskell
1
star
9

HuwCampbell.github.io

Haskell
1
star
10

haskell-list-builder

Mutable List Builders in Haskell
Haskell
1
star