2 results found Sort:

bamboo
idris2dart bamboo
5
50
other
9
The Dart backend for Idris 2.
dart idris idris2 flutter idris2-ecosystem
Created 2020-08-29
188 commits to main branch, last one 3 years ago
claymager
idris2-pkgs claymager
13
46
mit
8
An unofficial Idris2 package repository for Nix
nix idris2
Created 2021-04-26
207 commits to main branch, last one 2 years ago