SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
217–240 of 444 · Most stars
Example source code for the Practical Crypto with Go book.
I love to teach dotnet concepts in a simple way with real world examples to people who aspire to to be a dotnet developer. I also help developers to refresh their memory with easy to understand analogy.
- dotnet
- csharp
- linq
- blazor
Build systems with Go examples
- golang
- go
- book
- programming-language
Example APIs or services to demo all feature of the light-4j framework
Example real world backend API built with Golang + Fiber + Gorm + Swagger
Bringing thousands of learners together to unpack DeepInfer through peer-reviewed explanations, documentation, and hands-on examples.
Detailed guide for how to get started with beatoraja or BMS in general. -- For example: What is BMS, How do I set it up, Where do I download songs, How does the community work, How does the difficulty system work
A list of existing Xamarin binding libraries.
Example project which demonstrates various CMake features.
Examples of implementation CQRS with Event Sourcing - evolutionary approach
- dotnet
- dotnet-core
- cqrs
- event-sourcing
Collections of links based on the topics included in the Symfony 3.0 certification exam
- php
- certification
- symfony3
- symfony
The example of running Depth Prediction using Core ML
- depth-prediction
- swift
- fcrn-depthprediction
- coreml
Domain Driven Design, CQRS, & Event Sourcing Example using GetEventStore, CommonDomain, NServiceBus, Entity Framework, SQL Server, SignalR
Learn How to use Google Map API for Android from Basic to Advance with complete examples.
- maps
- android-app
- android-tutorial
- android-example
examples from "Thoughtful Machine Learning"
- rubyml
Example repo on how to use yarn workspaces together with the serverless framework.
Some very simple examples to get you started with the Line-us API
- gcode-commands
- drawing
- robot
- drawing-machine
:speaker: Simple examples to demonstrate various aspects of the Web Audio API.
An example SvelteKit app implementing a simple authentication system.
- svelte
- auth
- authentication
- daisyui
The repository host gives no description.
Example of basic vagrant docker provider usage
Resources for the Magento 2 Certified Professional Front End Developer exam
Run Appium test on OpenSTF Device