Programming Languages
22,646 items in 77 lists
-
DOM github.com
-
promise-all-props github.com
Like Promise.all but for object properties.
-
just-pluck github.com
Pluck without the madness.
-
vanilla-masker github.com
-
AlmostBinary github.com
Code in binary and run on any platform.
-
coq-scripts github.com
Scripts for dealing with Coq files, including tabulating proof times.
-
OmniSwap-Sui-SDK github.com
(community)
-
leveldb github.com
Pure V implementation of LevelDB.
-
symlinker github.com
A small Linux tool to manage symlinks.
-
v-toxml github.com
XML Serialization library for V.
-
vsqlite github.com
SQLite CLI and module replacement written in pure V.
-
vfc github.com
A simple TUI file manager, made with V.
-
west github.com
A wrapper of vweb to work in a similar way as nestjs works with modules and dependency injection.
-
vgoogle github.com
Make google search on the terminal.
-
svgg github.com
V module to load and resterize svg file into gg.Image object.
-
Vlang Benchmarks Visualization github.com
Fancy statistics and plots for Is V still fast?.
-
Parcel Plugin Imba github.com
-
ini-files github.com
The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.
-
excel-writer github.com
Create Excel files with basic formats.
-
ada-servlet github.com
Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).
-
ob-ada-spark github.com
Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.
-
gnatcoll-json github.com
This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components.
-
inotify-ada github.com
An Ada 2012 library for monitoring filesystem events using Linux' inotify API.
-
coap-spark github.com
A formally verified implementation of CoAP, the Constrained Application Protocol.
-
stotp github.com
Timed One-Time-Pad (RFC 6238) implementation in SPARK.
-
continuous-verification github.com
SPARK formal verification automated with Travis CI.
-
spark-norx github.com
Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.
-
auto-counters github.com
Reference counting approaches to resource management.
-
bingada github.com
Bingo application in gtkada.
-
si-units github.com
Utility library to pretty print physical values in proper metric units.
-
flyology github.com
Experimental GNAT runtime extension for ordinary Ada tasking, adding task-aware I/O and an opt-in lightweight lane that runs designated tasks as fibers on shared event loops.
-
axmpp github.com
With the AXMPP library you can connect to a Jabber server to send and receive messages.
-
ada-promises github.com
Implementing promises in Ada. Type-safe, efficient, thread-safe.
-
template-parser github.com
AWS templates engine.
-
ada-chess github.com
Chess engine written in Ada.
-
fiveam-matchers github.com
-
slot-extra-options github.com
-
portableaserve github.com
-
cl-shlex github.com
-
cm-incudine github.com
-
equals github.com
-
paren-async github.com
-
mcp-lisp github.com
-
scheduler github.com
-
plotly-user github.com
-
cl-telegram-bot-auto-api github.com
-
humanize-duration github.com
-
JS github.com
RhinoJS, Port of Mozilla's Rhino JavaScript interpreter.
-
FLAREmulator github.com
Test AR demos to see what works and what doesn't with or without a webcam.
-
Canvas github.com
Supports basic vector drawing functionality.
- next page of items loading…
