Pinned Loading

1. my-website my-website Public

   Forked from onurhan1337/my-website

   Personal website built with Next.js, Tailwind, TypeScript, Upstash and Vercel.

   TypeScript 1

2. mocha-simplifier mocha-simplifier Public

   Web app for accessible text extraction and simplification from images and PDFs, focused on cognitive accessibility.

   TypeScript 2

3. fairness-cp fairness-cp Public

   Declarative fairness for machine learning using constraint programming, enforcing demographic parity and equal opportunity with formal guarantees.

   Python

4. ashleyliangg/TravelDiary ashleyliangg/TravelDiary Public

   Final project for Mobile Software Development

   Kotlin

5. lean-autoformal lean-autoformal Public

   A system for translating natural language mathematical statements into formal Lean 4 code using RAG.

   Python 1

6. mustafasameen.github.io mustafasameen.github.io Public

   Forked from SeungoneKim/seungonekim.github.io

   Personal Portfolio

   HTML 2 2