Programming Languages
22,646 items in 77 lists
-
aoc-move github.com
Advent of Code solutions in Move with some formal verification.
-
Ethos Connect github.com
UI with built-in wallet adapter and Email option for supporting all wallets and wallet-less users on Sui.
-
vsnap github.com
A tiny local snapshot tool for saving and restoring files before risky edits, lighter than Git and built around explicit paths.
-
blobly github.com
Central file server.
-
Dino github.com
A simple console arcade game written in V where you control a dino and avoid cactuses and birds.
-
v-hash github.com
A hash library for vlang.
-
Q# playgroud github.com
-
Q# codes by Hiroshi Kurokawa github.com
-
No Description_ by Hajime Fukuda github.com
-
Quantum Computing Q# Introduction 2018 github.com
-
ROT-N github.com
-
Monoalphabetic Cipher Decoder github.com
-
Hello World Imba Tutorial github.com
-
multiplexed-io github.com
This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.
-
gela github.com
Ada code analyzer.
-
cvsweb2git github.com
Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.
-
rsfile github.com
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.
-
licensing github.com
Open Source Licenses library for Ada.
-
ada-utilities github.com
VSCode extension Ada programmers which provides a few utility functions.
-
ipfs github.com
InterPlanetary File System client library: CID/multihash/multibase, CAR archives with block verification, trustless HTTP gateway client.
-
elogs github.com
Logging framework for embedded systems absent of runtime errors.
-
wiring-pi-ada github.com
Ada bindings for wiringPi.
-
em-brick github.com
emBRICK driver and support for emBRICK in Ada.
-
abf-io github.com
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.
-
ada-v4l2 github.com
Ada Posix Binding to Video 4 Linux, used for RPI.
-
gnat-patches github.com
Curated GCC/GNAT patchsets against checksum-pinned upstream sources, each backed by an executable regression, published as patched native toolchain builds for GCC 13 through 16.
-
flyology-tui github.com
Typed, declarative terminal user-interface toolkit for Ada.
-
flyology-simd github.com
Portable, strongly typed SIMD foundations for Ada.
-
flyology-rdf github.com
RDF 1.2 terms, streaming Turtle, TriG, N-Triples and N-Quads parsing, RDFC-1.0 dataset canonicalization, Notation3, and SPARQL 1.1 query syntax.
-
flyology-postgres github.com
Client and server primitives for the PostgreSQL frontend/backend protocol, built on flyology task-aware I/O.
-
flyology-http github.com
HTTP/1.1 clients and servers with opt-in HTTP/2 and HTTP/3 engines and WebSocket support, built on flyology task-aware I/O.
-
fletcher github.com
Trivial implementation of fletcher_16 checksum computation algorithm.
-
evb1000 github.com
Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.
-
anuklear github.com
Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.
-
trivial-download github.com
-
find-port github.com
-
restagraph github.com
-
html github.com
-
cas-middleware github.com
-
hismetic github.com
-
Gibberish-AES github.com
A fully OpenSSL compliant ActionScript 3 library for AES encryption.
-
Badge github.com
Control the iOS badge value.
-
Async-Image-Encoders github.com
Asynchronously encode BitmapData objects into image file format.
-
MotionParticleSprite github.com
Design motion paths in Flash Pro and use it to guide Starling particles.
-
fetch_paths.cmake github.com
-
verhoeff github.com
Implementation of the Verhoeff checksum algorithm
-
s2_cells github.com
S2 Geometry for spatial indexing
-
named_information github.com
Naming Things with Hashes rfc6920
-
crystal-bacnet github.com
BACnet protocol implementation with BACnet/IP client
-
mixpanel-crystal github.com
A library for sending events to Mixpanel
- next page of items loading…
