Your self-hosted, globally interconnected microblogging community

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Metamath source file for logic and set theory

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Sail RISC-V model

This project aims to enhance the working environment on Windows

피곤한 모임계획 끝, 키득키득 피키로 ( ͡~ ͜ʖ ͡°)

Type definitions for the latest Obsidian API.

Community plugins list, theme list, and releases of Obsidian.

https://commitly-web.netlify.app <-귀찮은 회고록의 탈출

회고록을 대신 써주는 서버

🚀 An easy way to create and share business cards. A simple API that generates dynamic SVG business cards on the fly 🪪

Worked with my friend Cary Huang to rebuild his Flash app "Scale of the Universe" in WebGL with Pixi.js

OWPML파일 필터 모델

LINE’s first custom typeface, reflecting the brand’s identity of convenience and friendliness with a unique, geometry-based design.

adorn my socks be repository

OpenTDS is Toss Design System Clone for SwiftUI

분실물 찾기 서비스 '찾죠?ㅋ' 서버

도파민 추정 재산 일론 머스크급을 목표로 하는 애플리케이션입니다.

바인드팀 9기 인턴 프로젝트 "메모아" 서버

WWDC25 Swift Student Challenge

Submissions of previous WWDC scholars & Swift Student Challenge Winners