Projects

git // Tantum-Point/compass

A concept-first workspace for AI agents that uses checked architectural models and semantic bindings to guide repository navigation and implementation.

• Haskell
• Agda
• AI agents

git // ndzik/paraforge

An experimental Agda library for type-checked, compositional descriptions of parameterized neural-network architectures, with symbolic and executable interpretations and a validated JAX bridge.

• Agda
• JAX
• Neural networks

git // ndzik/heuron

A Haskell DSL for pure, correct-by-construction neural-network definitions that can be translated to backend code, demonstrated with PyTorch generation.

• Haskell
• Type-level DSL
• Neural networks

git // ndzik/horture

A streamer interaction application that lets viewers trigger composable visual effects directly on the broadcaster's desktop or captured application.

• Haskell
• Streaming
• Graphics

git // ParsonosAI/convex-schema-parser

A Haskell command-line tool that parses Convex schemas and TypeScript declarations to generate strongly typed Rust and Python API clients in one-shot or watch mode.

• Haskell
• Rust
• Python
• Code generation