# Projects Catalog - curricula.live

### curricula.live platform
- **Status**: Active
- **Summary**: Next.js App Router, React, TypeScript, and Tailwind CSS v4 landing portal mapping the layer divisions (engine, print, schools, mobile) of the curriculum planner.
- **Repository**: [https://github.com/curricula-live/landing](https://github.com/curricula-live/landing)
- **Tech Stack**: Next.js, React, TypeScript, TailwindCSS v4

### curricula-live knowledge-graph
- **Status**: Active / Research
- **Summary**: Prerequisite mapping, curriculum planner and recommendation graph built on React + Vite (frontend) and FastAPI (backend). Runs structured JSON content schemas.
- **Repository**: [https://github.com/curricula-live/knowledge-graph](https://github.com/curricula-live/knowledge-graph)
- **Tech Stack**: React, Vite, FastAPI, JSON Schema, Graph Theory

### curricula.live api
- **Status**: Active
- **Summary**: FastAPI backend microservice handling concept validation, curriculum node dependencies, and recommendation outputs.
- **Repository**: [https://github.com/curricula-live/api](https://github.com/curricula-live/api)
- **Tech Stack**: FastAPI, Python, pytest, REST API

### discipline-taxonomy
- **Status**: Active
- **Summary**: Academic-discipline seed taxonomy table modeling academic paths and domain-structured trees.
- **Repository**: [https://github.com/curricula-live/discipline-taxonomy](https://github.com/curricula-live/discipline-taxonomy)
- **Tech Stack**: HTML, CSS, Taxonomy, JSON

### FormalMethods / formal-methods-dafny
- **Status**: Research / Teaching Archive
- **Summary**: Dafny models and formal-methods coursework testing logical verification, program correctness, and post-conditions.
- **Repository**: [https://github.com/curricula-live/FormalMethods](https://github.com/curricula-live/FormalMethods)
- **Tech Stack**: Dafny, Formal Verification, Logic, Algorithms

### RDF-Food-Ontology
- **Status**: Research
- **Summary**: Question-answering system using rdflib to process RDF-based food ontologies and NLTK for natural language query generation.
- **Repository**: [https://github.com/curricula-live/RDF-Food-Ontology](https://github.com/curricula-live/RDF-Food-Ontology)
- **Tech Stack**: Python, RDF, rdflib, NLTK, Ontology