Search Results for "ii"
Sort By:
Showing 3 open source projects for "ii"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
Ardurail
Arduino based Maerklin-Motorola II central
Ardurail is an Arduino library for generating a TTL signal with an Arduino for serving model railroad equipment (locomotives, switches, feedback-detectors) based on the Motorola II protocol. -
2
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
3
GRPLib is a game library directly supporting Blizzard's GRP format (8-bit sprites) used in StarCraft and Diablo II games. It is very fast and can display realistic terrain, units and effects.
- Previous
- You're on page 1
- Next
