Lists (1)
Stars
An API and client for managing STIG assessments
Command-line tool from the Alire project and supporting library
Server implementing the Microsoft Language Protocol for Ada and SPARK
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
A new way for developers to exchange card content in a common and consistent way.
For IBM Quantum Challenge 2024 (5-14 June 2024)
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…
Wikidata as a trivia card game.
eXtensible Disturbance Analytics
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Recipes for using the SysML v2 API
Proof-of-concept pilot implementation for the Systems Modeling API and Services.
Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
The latest incremental release of SysML v2. Start here.
SQLDelight - Generates typesafe Kotlin APIs from SQL
Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
The SCIN dataset contains 10,000+ images of dermatology conditions, crowdsourced with informed consent from US internet users. Contributions include self-reported demographic and symptom informatio…
Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…
🐘 A template to let you started with custom Gradle Plugins + Kotlin in a few seconds