idris2-containers

(★ 9)

Assorted concrete container types

idris2-containers Latest Version Download

Download Latest Version (.zip)

Today's picks

puppeteer ★ 95,464

JavaScript API for Chrome and Firefox

TypeScript
ui ★ 121,436

A set of beautifully-designed, accessible components and a code distribution platform. Wor

TypeScript
FreeDomain ★ 193,649

Free domain registration and practical DNS learning resources for everyone.

Markdown
awesome-react ★ 74,293

A collection of awesome things regarding React ecosystem
gemini-cli ★ 106,532

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript
hoppscotch ★ 80,048

Open-Source API Development Ecosystem • https://hoppscotch.io • Offline, On-Prem & Cloud •

TypeScript
// repository documentation