Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
VsCoq Legacy github.com
Backwards-compatible extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol.
-
Program Logics for Certified Compilers cs.princeton.edu
Book that explains how to construct program logics using separation logic, accompanied by a formal model in Coq which is applied to the Clight programming language and other examples.
-
Certified Programming with Dependent Types adam.chlipala.net
Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.
-
The Move Programming Language youtube.com
-
Move: A Safe Language for Programming with Money youtube.com
Talk from @sblackshear at the Fields Institute Blockchain research seminar series.
-
Move Patterns move-patterns.com
A book on Move software design patterns maintained by @villesundell.
-
MoveChina move-china.com
The largest Chinese community for the Move programming language.
-
-
Rust SDK docs.sui.io
(official)
-
Programming with objects docs.sui.io
Maintained by the Sui team.
-
Move: A Language With Programmable Resources developers.diem.com
This was the original Move white paper released in 2018. Many aspects of this are now out of date (e.g., the syntax and description of the bytecode instructions), but the first two sections are worth a read for explaining the difficulties of programming with assets and how Move…
-
Libgee gitlab.gnome.org
A utility library providing GObject-based interfaces and classes for commonly used data structures (lists, maps, queues, trees, etc.).
-
GXML gitlab.gnome.org
A GObject API for manipulating XML and a Serializable framework from GObject to XML.
-
GitG gitlab.gnome.org
A graphical user interface for git.
-
GSVG (GObject SVG Library) gitlab.com
GSVG is an effort to provide a GLib GObject implementation of W3C standard API.
-
Meteo gitlab.com
GTK Weather app using the OpenWeatherMap API.
-
GEGL gegl.org
A data flow based image processing framework, providing floating point processing and non-destructive image processing capabilities. Think of it as "Reactive Programming for Images".
-
V Programming Tutorials youtube.com
-
The V Programming Language youtube.com
-
r/vlang reddit.com
-
language-v packages.pulsar-edit.dev
V language support for Atom (port of vscode-vlang) (migrated from atom.io)
-
The V WebAssembly Compiler Backend, Rewritten l-m.dev
Rewriting V's WebAssembly backend with no external dependencies.
-
How To Make A V Compiler Backend l-m.dev
Walkthrough of writing a new codegen backend for V.
-
vsl.fft github.com
Fast Fourier Transform module for VSL. Includes real and complex FFT with multiple backend options.
-
vtrace github.com
An automated execution tracer and step-by-step source code instrumenter for the V programming language.
-
vnm github.com
A minimalist, compiled neural network library written in the V programming language.
-
velegram github.com
A V language wrapper for TDLib (Telegram Database Library).
-
vanadium github.com
Ada-level runtime safety for the V programming language.
-
musicc github.com
A lightweight, high-performance command-line music compiler.
-
stas github.com
A stack based compiled programming language. The bootstrap compiler is written in V.
-
Getting Started with V Programming - Navule Pavan Kumar Rao - Packt 2021 Dec amazon.com
Introductory book on V.
-
Programming quantum computers in .NET using Microsoft Q# youtube.com
Rolf Huisman.
-
Introduction to Quantum Programming through the Quantum Katas youtube.com
Bettina Heim, Microsoft Ignite 2018 session (here is the same session held with VS Code instead of Visual Studio).
-
Learn to build your first quantum solution with the Quantum Development Kit and Q# youtube.com
John Azariah, Microsoft Build 2018 session.
-
Quantum Kata Notebooks mybinder.org
Online self-paced tutorials for learning Q# programming and quantum computing.
-
Visual Studio Code marketplace.visualstudio.com
-
Visual Studio marketplace.visualstudio.com
-
Quantum Computing with Microsoft QDK manning.com
Manning liveProject series that guides the learner through implementation of a variety of protocols and algorithms using Q# and Microsoft QDK.
-
Introducing Microsoft Quantum Computing for Developers link.springer.com
Apress, 2022, Johnny Hooyberghs.
-
Microsoft Q# Coding Contest (Summer 2020) codeforces.com
-
Microsoft Q# Coding Contest (Summer 2020) Warmup Round codeforces.com
-
Microsoft Q# Coding Contest (Winter 2019) codeforces.com
-
Microsoft Q# Coding Contest (Winter 2019) Warmup Round codeforces.com
-
Microsoft Q# Coding Contest (Summer 2018) codeforces.com
-
Microsoft Q# Coding Contest (Summer 2018) Warmup Round codeforces.com
-
Microsoft Q# Coding Contest (Summer 2020) codeforces.com
and for the Warmup Round
-
Microsoft Q# Coding Contest (Winter 2019) codeforces.com
and for the Warmup Round
-
Microsoft Q# Coding Contest (Summer 2018) assets.codeforces.com
and for the Warmup Round
-
-
- next page of items loading…
