Stars
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…
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
Functional Bluetooth GATT for Android (all the meanings)
BLESSED, a Kotlin Bluetooth Low Energy (BLE) library for Android
Move and resize windows on macOS with keyboard shortcuts and snap areas
Kotlin Multiplatform Libraries. Welcome PR if you find or create new Kotlin Multiplatform Library.
Support for Json Schema validation and entity generation
Godot Engine – Multi-platform 2D and 3D game engine