Pinned Loading

1. RestInterfaces.jl RestInterfaces.jl Public

   Interface-based REST library for Julia, HTTP.jl

   Julia 6

2. phantom-zone phantom-zone Public

   Type-safe config for node with zod

   TypeScript 1

3. repl-lag repl-lag Public

   Containerized mongodb replication lag testbed

   TypeScript

4. pydantic-env pydantic-env Public

   Type-safe config for python with pydantic

   Python

5. information-algebra information-algebra Public

   Lean4 Formalization of Jürg Kohlas' Information Algebra Book (and Shafer and Shenoy 1991)

   Lean

6. tsanki tsanki Public

   Compile-time unit tests for sophisticated typescript types

   TypeScript 1