extradosages
Follow
-
-
website Public
Forked from Effect-TS/websiteSource code for Effect's documentation website
MDX UpdatedAug 29, 2025 -
-
drizzle-orm Public
Forked from drizzle-team/drizzle-ormHeadless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅
TypeScript Apache License 2.0 UpdatedJun 4, 2025 -
-
feldera Public
Forked from feldera/felderaFeldera Continuous Analytics Platform
Rust Other UpdatedApr 26, 2024 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedApr 25, 2024 -
tsanki Public
Compile-time unit tests for sophisticated typescript types
-
information-algebra Public
Lean4 Formalization of Jürg Kohlas' Information Algebra Book (and Shafer and Shenoy 1991)
Lean UpdatedMar 30, 2024 -
-
-
phantom-zone Public
Type-safe config for node with zod
-
-
-
RestInterfaces.jl Public
Interface-based REST library for Julia, HTTP.jl
-
pittl-client Public
Raspberry Pi TTL Controller Client
Python Apache License 2.0 UpdatedNov 14, 2020