MoeedDar/qed
A dependently typed, functional and theorem proving language.
Repositories
MoeedDar/gpt-rs
Transformer LLM similar to GPT in Rust
MoeedDar/inputoutput
MoeedDar/kit
web development, streamlined
MoeedDar/nvim
MoeedDar/router
🤖 Fully typesafe Router for React (and friends) w/ built-in caching, 1st class search-param APIs, client-side cache integration and isomorphic rendering.
MoeedDar/pp
Parser combinators in C
MoeedDar/website
MoeedDar/npc-attack-indicator
MoeedDar/mesa
3D FPS/Survival game
MoeedDar/HalalC
Halal programming language
MoeedDar/ziggo
MoeedDar/pushup
MoeedDar/todolist
Simple todolist
MoeedDar/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
MoeedDar/llm-middleware
LLM chat authentication, rate limiting and queuing service.
MoeedDar/hopper
The real time database for modern applications
MoeedDar/doppler
Distributed map reduce engine
MoeedDar/tithe
Transactional, immutable database
MoeedDar/board
A barebones image board created in go