Pinned Loading

1. Apps-using-vulnerable-libs Apps-using-vulnerable-libs Public

   Masters project

   TypeScript

2. Effect-TS/effect Effect-TS/effect Public

   Build production-ready applications in TypeScript

   TypeScript 11.8k 413

3. musical-parakeet musical-parakeet Public

   TypeScript 3

4. agda/agda agda/agda Public

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 2.7k 388