dogear

enter for all results · esc to close

  1. west github.com

    A wrapper of vweb to work in a similar way as nestjs works with modules and dependency injection.

    tool link ↗
  2. vgoogle github.com

    Make google search on the terminal.

    tool link ↗
  3. svgg github.com

    V module to load and resterize svg file into gg.Image object.

    tool link ↗
  4. Vlang Benchmarks Visualization github.com

    Fancy statistics and plots for Is V still fast?.

  5. Parcel Plugin Imba github.com

    tool link ↗
  6. 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.

    tool link ↗
  7. excel-writer github.com

    Create Excel files with basic formats.

  8. ada-servlet github.com

    Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).

    tool link ↗
  9. ob-ada-spark github.com

    Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.

    tool link ↗
  10. 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.

  11. inotify-ada github.com

    An Ada 2012 library for monitoring filesystem events using Linux' inotify API.

  12. coap-spark github.com

    A formally verified implementation of CoAP, the Constrained Application Protocol.

    tool link ↗
  13. stotp github.com

    Timed One-Time-Pad (RFC 6238) implementation in SPARK.

    tool link ↗
  14. continuous-verification github.com

    SPARK formal verification automated with Travis CI.

    tool link ↗
  15. spark-norx github.com

    Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.

  16. auto-counters github.com

    Reference counting approaches to resource management.

    tool link ↗
  17. bingada github.com

    Bingo application in gtkada.

    tool link ↗
  18. si-units github.com

    Utility library to pretty print physical values in proper metric units.

    tool link ↗
  19. 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.

    tool link ↗
  20. axmpp github.com

    With the AXMPP library you can connect to a Jabber server to send and receive messages.

    tool link ↗
  21. ada-promises github.com

    Implementing promises in Ada. Type-safe, efficient, thread-safe.

    tool link ↗
  22. template-parser github.com

    AWS templates engine.

    tool link ↗
  23. ada-chess github.com

    Chess engine written in Ada.

    tool link ↗
  24. fiveam-matchers github.com

    tool link ↗
  25. slot-extra-options github.com

    tool link ↗
  26. portableaserve github.com

    tool link ↗
  27. cl-shlex github.com

    tool link ↗
  28. cm-incudine github.com

    tool link ↗
  29. equals github.com

    tool link ↗
  30. paren-async github.com

    tool link ↗
  31. mcp-lisp github.com

    tool link ↗
  32. scheduler github.com

    tool link ↗
  33. plotly-user github.com

    tool link ↗
  34. humanize-duration github.com

    tool link ↗
  35. JS github.com

    RhinoJS, Port of Mozilla's Rhino JavaScript interpreter.

  36. FLAREmulator github.com

    Test AR demos to see what works and what doesn't with or without a webcam.

    tool link ↗
  37. Canvas github.com

    Supports basic vector drawing functionality.

    tool link ↗
  38. AS3Mailer github.com

    Sends email using server script or invokes a mailto.

    tool link ↗
  39. PDFView github.com

    PDF viewer built from scratch.

    tool link ↗
  40. Fa-as3 github.com

    Write less, do more framework, modeled like jQuery.

    tool link ↗
  41. observable github.com

    Implementation of the observer pattern

    tool link ↗
  42. web_finger github.com

    A WebFinger (https://tools.ietf.org/html/rfc7033) client

    tool link ↗
  43. cruml github.com

    A tool that provides an UML class diagram generator for any Crystal projects

    tool link ↗
  44. fiber_metrics.cr github.com

    Track run time, wait time, or memory allocations per Fiber, method or block

    tool link ↗
  45. geany-crystal github.com

    Crystal support for the Geany editor

    tool link ↗
  46. ansible-crystal github.com

    Ansible playbook for installing crystal

    tool link ↗
  47. crystal-swim github.com

    Decentralized cluster discovery and eventually consistent failure detection using SWIM

    tool link ↗
  48. Delphi-XmlLite github.com

    . [Delphi] Header translation for Microsoft XmlLite. XmlLite is a native C++ implementation of .NET XmlReader+Writer for stream-based, forward-only XML parsing and creation. XmlLite.dll is required. It is included with all new versions of Windows, and service packs for old…

  49. THTMLWriter github.com

    . [Delphi] Class library that enables the developer to create HTML and HTML documents. It uses the fluent interface to make creating HTML text easy and natural.

  50. next page of items loading…