Projects
Open Source Projects
Software projects spanning scientific computing, distributed systems, and functional programming.
Scientific Computing
LineageFlow
Toolkit for quantitative cell lineage analysis in developing organisms. Developed as part of PhD research on embryonic morphogenesis.
Research Context:
- • Automated morphogenetic field identification
- • Part of PhD thesis research
- • Foundation for Physical Biology publication
Technical Implementation:
- • Modular Haskell architecture with 10+ algorithms
- • Declarative interface for reproducible workflows
- • Real-time 3D visualization with OpenGL
- • Nix-based deployment for reproducibility
CSDC DAO
Full-stack platform for decentralized research collaboration. Experiment in academic self-organization with democratic governance.
Platform Features:
- • Dual voting systems (Simple Majority, Majority Consensus)
- • User profiles, forums, file sharing
- • Hierarchical organizational units
- • IPFS integration for distributed storage
Technical Stack:
- • Haskell/Servant backend, Elm frontend
- • PostgreSQL with JWT authentication
- • Docker Compose and Nix deployment
- • REST API with real-time updates
GNUHealth Nix Docker
Docker deployment for GNUHealth medical information systems. Simplifies deployment using Nix reproducibility and containerization.
Haskell Libraries
constraint-classes
Library addressing type class limitations using ConstraintKinds. Enables flexible abstractions while preserving type inference.
Haskellreflex-elm
Elm-inspired development model for Haskell web applications. Combines Reflex reactive programming with Elm architecture.
LATS
Linear Algebra in Typed Space. Experiment replacing typed dimensions with typed linear spaces.
Haskell