Programming Languages
22,586 items in 77 lists
-
XETH github.com
A mapped assets of ETH on Starcoin.
-
Diem Framework github.com
-
Vote github.com
On-chain voting. From Diem.
-
NFTGallery github.com
Utility for holding multiple NFT's of the same type. From Diem.
-
NFT github.com
An implementation of a hybrid ERC721/ERC1155-like token. From Diem.
-
MultiToken github.com
An ERC1155-like token. From Diem.
-
BARS github.com
An NFT that instantiates this hybrid standard. From Diem.
-
Account github.com
A generic account for Diem-powered chains. From Diem.
-
DiemSystem github.com
Validator set management. From Diem.
-
Aptos Framework github.com
-
Formal Verification of Move Programs for the Libra Blockchain fields.utoronto.ca
Talk from @DavidLDill at the Fields Institute Blockchain research seminar series.
-
Sui Move by Example examples.sui.io
A book on the Sui Move variant maintained by @MystenLabs.
-
-
Rust SDK docs.sui.io
(official)
-
Programming with objects docs.sui.io
Maintained by the Sui team.
-
Move overview docs.google.com
Slides from Reasoning About Financial Systems workshop at SBC '22.
-
Move deep dive docs.google.com
-
Move @ Sui by Mysten Labs Discord discord.gg
-
Move @ Starcoin Discord discord.gg
-
Move Language Discord discord.gg
-
Move @ Aptos Discord discord.gg
-
Move @ 0L Discord discord.gg
-
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…
-
ComingChat coming.chat
A decentralized social finance/web3 portal. Supporting public chain wallets, such as Sui and Aptos wallets.
-
The Move Borrow Checker arxiv.org
-
-
Robust Safety for Move arxiv.org
-
-
Vala Syntax 4 Sublime Text launchpad.net
A basic plugin for Sublime Text 3 that provides syntax highlighting.
-
Blackbox gitlab.gnome.org
A beautiful GTK 4 terminal.
-
g4music gitlab.gnome.org
A beautiful, fast, fluent, light weight music player written in GTK4.
-
High Score (GNOME Games) gitlab.gnome.org
Retro gaming application for the GNOME desktop.
-
template-glib gitlab.gnome.org
A library for template expansion which supports calling into GObject Introspection from templates.
-
Libgee gitlab.gnome.org
A utility library providing GObject-based interfaces and classes for commonly used data structures (lists, maps, queues, trees, etc.).
-
Json-GLib gitlab.gnome.org
Implements a full JSON parser and generator using GLib and GObject, and integrates JSON with GLib data types.
-
GXML gitlab.gnome.org
A GObject API for manipulating XML and a Serializable framework from GObject to XML.
-
GNOME Calculator gitlab.gnome.org
The calculator app for the GNOME desktop.
-
GNOME Boxes gitlab.gnome.org
A simple GNOME 3 application to access virtual machines.
-
GitG gitlab.gnome.org
A graphical user interface for git.
-
geary gitlab.gnome.org
Geary is an email application built around conversations, for the GNOME 3 desktop.
-
Connections gitlab.gnome.org
A remote desktop client for the GNOME desktop environment.
-
vul (Vala Utility Libraries) gitlab.gnome.org
A set of utility libraries for Vala that add: Text stream handling (input and output), JSON serialization and deserialization, and, Archive compression and extraction.
-
Integrity Check gitlab.com
Linux application written in Vala and GTK, designed to get the verification sum of a file (MD5, SHA1, SHA256) and compare to the sum of verification provided by the file creator.
-
Paper gitlab.com
Take notes in Markdown.
-
gpseq gitlab.com
A parallelism library for Vala and GObject.
-
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.
-
VAMM (Vinari OS Apache & MariaDB Manager) gitlab.com
Manages LAMP services using a GTK 3 GUI.
-
Babl gegl.org
A dynamic, any to any, pixel format translation library.
-
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".
- next page of items loading…
