Tech Lead. working mainly with Javascript / Typescript / Rust / C / C++
zodios. typescript http client and server with zod validation
1.9ktypeskell. Functional programming in Typescript
82zodios-react. React hooks for zodios
68ts-calc. compute with typescript type system
57zodios-express. zodios express server
55stalier. Stalier is a stale-while-revalidate middleware for your backend
25zodios-openapi. openapi description for zodios
17apix-rust. Apix is a modern HTTP client for the command line.
17sokoban. sokoban with react hooks and typescript
13react-axios-query. combine the power of react-query and axios
12lean-units. lean physical unit system, SI international
10zodios-plugins. plugins for zodios
9lean-redis. full featured async redis client for lean 4
6zodios-solid. Solid hooks for zodios
5triste. Basic Tetris with react hooks and typescript
4leanio. HTTP router for Lean4
3servito. type safe request and response types
2Foundry-Local-App. FoundryLocal Electron based app to manage and run models locally
2valischema. json schema for valibot
1cthulhu-editor. The Arkham registry : Call of Cthulhu 7th edition character sheet interactive editor and character sheet management
1