Popular repositories Loading

1. eloquent-javascript eloquent-javascript Public

   1

2. omr-marker omr-marker Public

   make omr picture file from data

   TypeScript 1

3. idris2-python-boilerplate idris2-python-boilerplate Public

   Type-driven AI code generation with Idris2 dependent types - Production-ready boilerplate

   Shell 1

4. idris2-mcp-server idris2-mcp-server Public

   Python 1

5. problem_cutter problem_cutter Public

   Python 1 1

6. HwpAutomation HwpAutomation Public

   MCP server for HWP (Hangul Word Processor) automation with Idris2 formal specifications

   Python 1