Skip to content
@umbrela-academy

umbrela-academy

Pinned Loading

  1. idrusti idrusti Public

    Idris and Rust related tutorials for umbrela.academy and idri.school

    JavaScript 2 1

  2. software-foundations software-foundations Public

    Forked from idris-hackers/software-foundations

    Software Foundations in Idris

    Idris 2

  3. 23xCats 23xCats Public

    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.

    TypeScript 2 2

  4. prod-cat-crud prod-cat-crud Public

    TypeScript 1 5

  5. agda-from-nothing agda-from-nothing Public

    Forked from scott-fleischman/agda-from-nothing

    A workshop on learning Agda with minimal prerequisites.

    Agda

  6. idris-from-nothing idris-from-nothing Public

    Idris for the interested, from nothing to quite something.

Repositories

Showing 10 of 27 repositories
  • next-wp Public Forked from 9d8dev/next-wp

    Headless Wordpress Starter built with the NextJS App Router and React Server Components

    umbrela-academy/next-wp’s past year of commit activity
    TypeScript 0 MIT 168 0 0 Updated Sep 19, 2024
  • prose-prism Public

    Trying out prose mirror API surface on Angular, React and Svelte

    umbrela-academy/prose-prism’s past year of commit activity
    TypeScript 0 0 0 0 Updated Sep 5, 2024
  • card-management Public
    umbrela-academy/card-management’s past year of commit activity
    JavaScript 1 0 0 0 Updated Aug 4, 2024
  • pfps-shopping-cart Public Forked from gvolpe/pfps-shopping-cart

    🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

    umbrela-academy/pfps-shopping-cart’s past year of commit activity
    Scala 0 Apache-2.0 170 0 0 Updated Jul 28, 2024
  • examples Public Forked from lucia-auth/examples

    A collection of example projects built with Lucia

    umbrela-academy/examples’s past year of commit activity
    TypeScript 0 MIT 56 0 0 Updated Jul 18, 2024
  • HoTT-agda Public Forked from jacobneu/HoTT-agda

    Formalization of Homotopy Type Theory for use in Jacob Neumann's Youtube videos

    umbrela-academy/HoTT-agda’s past year of commit activity
    Agda 0 CC-BY-4.0 4 0 0 Updated May 28, 2024
  • astroship Public template Forked from surjithctly/astroship

    Astroship is a starter template for startups, marketing websites, landing pages & blog. Built with Astro & TailwindCSS

    umbrela-academy/astroship’s past year of commit activity
    Astro 0 GPL-3.0 393 0 0 Updated May 23, 2024
  • scalatags-htmx-demo Public Forked from rockthejvm/scalatags-htmx-demo
    umbrela-academy/scalatags-htmx-demo’s past year of commit activity
    Scala 0 12 0 0 Updated May 15, 2024
  • scala-problems-interviews Public Forked from rockthejvm/scala-problems-interviews

    The official repository for the Scala & Functional Programming Practice course

    umbrela-academy/scala-problems-interviews’s past year of commit activity
    Scala 0 102 0 0 Updated Apr 12, 2024
  • 23xCats Public

    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/23xCats’s past year of commit activity
    TypeScript 2 2 0 0 Updated Oct 3, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…