A large scale simulation which pits millions of space ships against each other in a virtual universe all running directly in SingleStore.
☆21Mar 12, 2024Updated 2 years ago
Alternatives and similar repositories for wasm-space-program
Users that are interested in wasm-space-program are comparing it to the libraries listed below
Sorting:
- ☆11Aug 17, 2023Updated 2 years ago
- The cryptographic signature multifomat☆13Jul 9, 2025Updated 8 months ago
- Github Artifacts server example☆12Jun 4, 2021Updated 4 years ago
- Verifiable Credential Server for Web5.☆11Dec 17, 2022Updated 3 years ago
- Exposing the UN/CEFACT vocabulary as web semantics☆13Sep 13, 2024Updated last year
- Source Code Transparency☆11Sep 25, 2023Updated 2 years ago
- GitHub Actions Security Tester☆12Feb 1, 2023Updated 3 years ago
- Tiny browser for JSON APIs, especially ActivityPub☆17Feb 1, 2023Updated 3 years ago
- ☆11Nov 20, 2024Updated last year
- Mpcurses is an abstraction of the Python curses and multiprocessing libraries providing function execution and runtime visualization capa…☆17Jan 4, 2025Updated last year
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Mar 5, 2026Updated 2 weeks ago
- A list of tools for publishing and consuming Linked Data.☆23Mar 7, 2017Updated 9 years ago
- Report on quality of SBOM contents☆25Dec 18, 2024Updated last year
- A SPARQL to Cypher query transpiler that converts a given SPARQL query to an equivalent Cypher query.☆13Aug 25, 2021Updated 4 years ago
- Data Mining project☆10Jan 10, 2024Updated 2 years ago
- ☆13Mar 2, 2024Updated 2 years ago
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 3 months ago
- Flancian's digital garden☆26Mar 12, 2026Updated last week
- A lightweight API for maintaining a list of Kubernetes clusters and associated metadata.☆29Mar 13, 2026Updated last week
- Binary encoding data format which ensures lexicographic sort order☆35Dec 14, 2025Updated 3 months ago
- My entire hacker toolkit ready for to run on a vanilla Arch Linux installation.☆27Apr 10, 2023Updated 2 years ago
- A CLI tool for creating secure by design/default source repos.☆28Jul 29, 2024Updated last year
- Python tools for using OpenID's Shared Signals Framework (including CAEP)☆23Mar 7, 2025Updated last year
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- Generates SBOM files from system packaging information☆36Jul 10, 2025Updated 8 months ago
- An SDK and Library that is used in several Deutsche Telekom mobile apps☆12Sep 23, 2024Updated last year
- Python implementation of multiformat protocols.☆32Jul 20, 2024Updated last year
- Verifiable Credentials for Supply Chain Interoperability Specification for HTTP☆29Apr 5, 2025Updated 11 months ago
- Hardware information☆37Nov 6, 2024Updated last year
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆26Aug 6, 2025Updated 7 months ago
- GitHub Action to autograde projects based on a configurable set of metrics☆32Mar 13, 2026Updated last week
- A C# abstraction on top of Godot's input events that makes life just a little bit easier☆10Feb 1, 2018Updated 8 years ago
- Analyse the self-attention patterns in BERT for humor classification and verify the linguistic theory of humor, use GPT-2 to create humor…☆11Apr 30, 2020Updated 5 years ago
- An online adaptation of The Republic of Rome, a strategy board game☆11Mar 12, 2026Updated last week
- Update Kubernetes resources by webhooks.☆46Mar 7, 2023Updated 3 years ago
- GOST's combined tools for urban analysis☆13Mar 9, 2026Updated last week
- ⚙️ Lite, typed, pythonic utilities for git, svn, mercurial, etc.☆57Updated this week
- ☆47Updated this week
- Sample relational database load scripts and SQL queries for processing SNOMED CT-AU RF2 release files.☆18Jul 17, 2024Updated last year