Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

RedPRL

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@RedPRL

RedPRL

Uphold Cubical Thought!

PinnedLoading

  1. coolttcoolttPublic

    😎TT

    OCaml 225 14

  2. algaeffalgaeffPublic

    🦠 Reusable components based on algebraic effects

    OCaml 49 1

  3. redttredttPublic

    "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

    OCaml 208 12

  4. algaettalgaettPublic

    🦠 An experimental elaborator for dependent type theory using effects and handlers

    OCaml 35

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 27 repositories
  • asai Public

    🩺 A library for compiler diagnostics

    RedPRL/asai’s past year of commit activity
    OCaml 39Apache-2.0 2 21(1 issue needs help) 2 UpdatedFeb 6, 2025
  • actions-ocaml Public

    GitHub Action for red* OCaml packages

    RedPRL/actions-ocaml’s past year of commit activity
    0Apache-2.0 1 0 0 UpdatedFeb 6, 2025
  • mugen Public

    ♾️ A library for universe levels and universe polymorphism

    RedPRL/mugen’s past year of commit activity
    OCaml 34Apache-2.0 1 1 0 UpdatedDec 6, 2024
  • yuujinchou Public

    👹 A library for hierarchical names and lexical scoping

    RedPRL/yuujinchou’s past year of commit activity
    OCaml 25Apache-2.0 4 10 2 UpdatedSep 29, 2024
  • ocaml-bwd Public

    🔙 Backward lists for OCaml

    RedPRL/ocaml-bwd’s past year of commit activity
    OCaml 22Apache-2.0 3 2 2 UpdatedSep 29, 2024
  • bantorra Public

    📚 A library for managing libraries and resolving unit paths

    RedPRL/bantorra’s past year of commit activity
    OCaml 17Apache-2.00 9 0 UpdatedSep 29, 2024
  • kado Public

    🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

    RedPRL/kado’s past year of commit activity
    OCaml 19Apache-2.0 1 4(1 issue needs help) 0 UpdatedSep 29, 2024
  • algaeff Public

    🦠 Reusable components based on algebraic effects

    RedPRL/algaeff’s past year of commit activity
    OCaml 49Apache-2.0 1 3 1 UpdatedSep 28, 2024
  • agda-mugen Public

    A formalization of the theory behind the mugen library

    RedPRL/agda-mugen’s past year of commit activity
    Agda 19 1 4 1 UpdatedJun 24, 2024
  • redprl.github.io Public

    Souce of RedPRL website

    RedPRL/redprl.github.io’s past year of commit activity
    HTML00 1 0 UpdatedMar 26, 2024

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…

[8]ページ先頭
©2009-2025 Movatter.jp