Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

toki/ numidr

Idris 0 0

Linear algebra and data manipulation library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/numidr

Updated 2024-11-19 22:04:38 -05:00

toki/ idris2-lens

Idris 0 0

Profunctor optics/lenses for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-lens

Updated 2024-11-19 22:02:37 -05:00

toki/ idris2-ratio

Idris 0 0

Small ratio type library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-ratio

Updated 2024-11-19 22:00:59 -05:00

toki/ idris2-profunctors

Idris 0 0

Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors

Updated 2024-11-19 21:59:10 -05:00

toki/ idris2-robotlib

Idris 0 0

Robot Kinematics Library for Idris 2

Updated 2024-07-21 07:15:16 -04:00

toki/ idris2-render

Idris 0 0

Updated 2024-07-21 06:46:18 -04:00