Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with idris2
A curated list of projects in awesome lists tagged with idris2 .
https://github.com/bamboo/idris2dart
The Dart backend for Idris 2.
dart flutter idris idris2 idris2-ecosystem
Last synced: 28 Oct 2024
https://github.com/claymager/idris2-pkgs
An unofficial Idris2 package repository for Nix
Last synced: 02 Aug 2024
https://github.com/jfdm/velo-lang
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Last synced: 15 Oct 2024
https://github.com/dgellow/idris-docker-image
Dockerfile and images for idris and idris2
docker docker-image dockerfile idris idris2
Last synced: 27 Oct 2024
https://github.com/bamboo/idris2-dash-docset
Dash docset for Idris 2 libraries
dash docset idris2 idris2-ecosystem
Last synced: 28 Oct 2024
https://github.com/bamboo/wm2020-hackathon-idris-click
A metronome app written in Idris 2
Last synced: 28 Oct 2024
https://github.com/running-grass/learn-idris2
I try develop web application by idris2;
demo-app idris idris2 javascript learning-by-doing web
Last synced: 11 Oct 2024
