Programming Languages
22,646 items in 77 lists
-
Lovefield google.github.io
-
visjs github.com
-
Ink github.com
-
grid github.com
-
countdown.js github.com
-
npm run-scripts gist.github.com
-
GDevelop gdevelop.io
-
Logical Or Not gabinaureche.com
-
FormValidation formvalidation.io
-
FoalTS foalts.org
-
coddoc doug-martin.github.io
-
documentation.js documentation.js.org
-
DevDocs devdocs.io
-
ECMAScript 6 compatibility table compat-table.github.io
-
Cocos cocos.com
-
Clipboard.js clipboardjs.com
-
Highland caolan.github.io
-
aurelia aurelia.io
-
docco ashkenas.com
-
Enzyme airbnb.io
-
AmplitudeJS 521dimensions.com
-
Coq-Kruskal github.com
Collection of libraries related to rose trees and Kruskal's tree theorem.
-
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.
- next page of items loading…
