Programming Languages
22,646 items in 77 lists
-
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.
-
AS3Mailer github.com
Sends email using server script or invokes a mailto.
-
PDFView github.com
PDF viewer built from scratch.
-
Fa-as3 github.com
Write less, do more framework, modeled like jQuery.
-
observable github.com
Implementation of the observer pattern
-
web_finger github.com
A WebFinger (https://tools.ietf.org/html/rfc7033) client
-
cruml github.com
A tool that provides an UML class diagram generator for any Crystal projects
-
fiber_metrics.cr github.com
Track run time, wait time, or memory allocations per Fiber, method or block
-
geany-crystal github.com
Crystal support for the Geany editor
-
ansible-crystal github.com
Ansible playbook for installing crystal
- next page of items loading…
