Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
opam opam.ocaml.org
Flexible and Git-friendly package manager for OCaml and Coq with multiple compiler support.
-
Joachim Breitner's blog posts on Coq joachim-breitner.de
-
Program verification with types and logic gitlab.science.ru.nl
Lectures and exercise material for a course in programming language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen.
-
lambda-rust gitlab.mpi-sws.org
Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.
-
Incremental Cycles gitlab.inria.fr
Verified OCaml implementation of an algorithm for incremental cycle detection in graphs.
-
Docker-Coq GitHub Action github.com
GitHub container action that can be used with Docker-Coq or Docker-MathComp.
-
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.
-
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".
-
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.
-
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.
-
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
-
-
-
comp-lang-ada usenet.ada-lang.io
Ada Usenet newsgroup/forum.
-
tutorials-point-ada-compiler tutorialspoint.com
Online compiler built on the CodingGround engine.
-
sparforte sparforte.com
The SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement.
-
janus-ada rrsoftware.com
Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.
-
ada-at-rosetta-code rosettacode.org
A collection of programming tasks and their sample solutions in Ada.
- next page of items loading…
