Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,857–2,880 of 4,970 · Most stars

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Unofficial native port of Mortal Kombat: Shaolin Monks (Xbox) through static recompilation.

Fast, exact inference for StartLux-Decision models on NVIDIA GPUs: the released GGUF files on int8 and 4-bit tensor cores, behind the /v1/systemone API, with up to 5.3× lower latency than vLLM in FP8 and bit-identical answers.

  • calibration
  • cuda
  • cuda-graphs
  • decision-making

rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)

One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.

  • cae
  • cfd
  • computational-mechanics
  • explicit-dynamics

J2ME emulator for Android (unofficial fork of https://github.com/nikita36078/J2ME-Loader)

  • android
  • j2me-emulator
  • java
  • opengles-android

Animated ASCII splash screens for Neovim. 29 bundled splashes + bring your own via the milli CLI / web playground.

  • alpha-nvim
  • ascii
  • ascii-art
  • dashboard-nvim

EventStorming workshop, this is a hands-on workshop. Contains such topics: DDD, Event storming, Specification by example. Including the AWS product : Serverless Lambda , DynamoDB, Fargate, CloudWatch.

A production-ready SaaS template built with Next.js 15, Supabase, and Tailwind CSS. Includes authentication, user management, file storage, task management demos, and secure RLS policies. Now with a complete React Native + Expo mobile app template! Easily customizable with pre-built themes, i18n support (EN/PL/ZH), and legal documents.

A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.

Your tasks, your server. An open-source, local-first task manager you can host yourself. Everything you expect from a commercial task app, without the subscription or the lock-in.