Pinned Loading

1. gicel gicel Public

   Embedded typed effect language for Go — Atkey indexed monads with row-typed capabilities. Designed for AI agent sandboxing.

   Go

2. typist typist Public

   A pure Perl type system for Perl 5.40+

   Perl 1

3. pue pue Public

   TypeScript 2

4. plat plat Public

   Rust

5. titania.go titania.go Public

   Just a simple judging/code-testing tool, using paiza.io API.

   Go 6 1

6. simple-type-validator simple-type-validator Public

   A simple toolset to create (runtime) type validators.

   TypeScript 1