Pinned Repositories
23xCats
On Monads and Monoids. This repo is a typescript port of Data & Control from base in Haskell, base and prelude in Idris 2 and most constructs from idris-ct package in general.
agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
echo-boilerplate
Boilerplate for the Echo framework with authentication, authorization and request/response validation.
Idris-2-Installation-Using-Nix-Profile
A step-by-step manual for installing nix with flake support
idris-from-nothing
Idris for the interested, from nothing to quite something.
idrusti
Idris and Rust related tutorials for umbrela.academy and idri.school
prod-cat-crud
software-foundations
Software Foundations in Idris
svelte-dashboards
Salvia-kit Svelte dashboards templates
unindus
umbrela-academy's Repositories
umbrela-academy/23xCats
On Monads and Monoids. This repo is a typescript port of Data & Control from base in Haskell, base and prelude in Idris 2 and most constructs from idris-ct package in general.
umbrela-academy/idrusti
Idris and Rust related tutorials for umbrela.academy and idri.school
umbrela-academy/echo-boilerplate
Boilerplate for the Echo framework with authentication, authorization and request/response validation.
umbrela-academy/prod-cat-crud
umbrela-academy/software-foundations
Software Foundations in Idris
umbrela-academy/unindus
umbrela-academy/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
umbrela-academy/Idris-2-Installation-Using-Nix-Profile
A step-by-step manual for installing nix with flake support
umbrela-academy/idris-from-nothing
Idris for the interested, from nothing to quite something.
umbrela-academy/idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
umbrela-academy/micromega
Some power user and developer tools. Each small, in a big way.
umbrela-academy/nestjs-prisma-zod-swagger
umbrela-academy/quick-microservices
umbrela-academy/spring-security-workshop-code
Workshop for Spring Security
umbrela-academy/svelte-dashboards
Salvia-kit Svelte dashboards templates
umbrela-academy/zio-course
The official repository for the Rock the JVM ZIO course
umbrela-academy/zio-petclinic
An idiomatic pet clinic application written with ZIO.
umbrela-academy/idris-demos
Collection of Idris tests and demonstration programs