Starred repositories
MapAnything: Universal Feed-Forward Metric 3D Reconstruction
High-Resolution 3D Assets Generation with Large Scale Hunyuan3D Diffusion Models.
A curated list of Palestine and Palestinian-Israeli conflict resources.
A frontend to Assets purchased on Epic Games Store
A detailed tutorial about how to convert geo-tiff files containing Digital Elevation Model (DEM) data into a pyramid of png tiles
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
Inspect a command's effects before modifying your live system
LocalAI is the open-source AI engine. Run any model - LLMs, vision, voice, image, video - on any hardware. No GPU required.
Sample project for implementing OIDC server with a web application and an API service.
Inkscape extension for converting objects to an isometric projection
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
FastAPI framework, high performance, easy to learn, fast to code, ready for production
Data validation using Python type hints
Build rich content websites with Markdown and React
A curated list of useful resources for gRPC
A small extensible programming language designed for concise expression with little code.
Pretrain, finetune ANY AI model of ANY size on 1 or 10,000+ GPUs with zero code changes.
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
Lightweight Node.js library for building Slack Block Kit UIs, with a declarative syntax inspired by SwiftUI.
Dafny is a verification-aware programming language