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
193–216 of 266 · Most stars
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
Bitcoin Programming with BitcoinJS, Bitcoin Core and LND
- bitcoinjs-lib
- bitcoin
- javascript
- bitcoin-core
A curated list of awesome music programming languages, libraries, frameworks and tools.
- awesome
- awesome-list
- music
- music-composition
Build systems with Go examples
- golang
- go
- book
- programming-language
Collection of Swift playgrounds used in my posts: From functional aspects of Swift to C interoperability.
- swift-playgrounds
- swift
- concurrency
- bitwise-operators
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Some very simple examples to get you started with the Line-us API
- gcode-commands
- drawing
- robot
- drawing-machine
A repo for a Program and Data Representation university-level course
Math snippets with graphic programming in mind.
(Work in progress) Examples of common UI patterns with Marionette.js
A curated, opinionated list of best-in-class books for modern software development, popular programming languages, and AI/ML.
- ai-books
- books
- devbook
- gobooks
Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt
🔍 A step-by-step guide to parsing using Haskell parser combinators.
Sample ebpf programs to analyze
- ebpf
- ebpf-programs
- ebpf-opcode
GBDK tutorials
A project about the Swift programming language
- swift
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
Grok WebGL2 and GLSL through a sequence of guided tutorials, each chunked into atomic Q&A cards suitable for spaced repetition, with hands-on projects and solution code integrated throughout.
- creative-coding
- educational-resources
- glsl
- graphics-programming
Fast cartesian product
- cartesian
- cartesian-product
- performance
- sets
ECE 459: Programming for Performance, Winter 2015
Learn Lisp efficiently and become a happy programmer.
Graph data structures with multiple heterogeneous metadata for Graphs.jl.
- graph
- graphs
- metadata
- juliagraphs
📊 🌐 🧑🏫 Website for graduate-level course on program evaluation and causal inference using R, built with Quarto
- causal-inference
- program-evaluation
- quarto
- r