dogear

enter for all results · esc to close

  1. ngx-stashr github.com

    A lightweight, signal-driven state management library for Angular 21, inspired by React’s Zustand.

    tool link ↗
  2. ng-as github.com

    Angular pipe and directive for type casting template variables.

    tool link ↗
  3. @ni/javascript-styleguide github.com

    NI's JavaScript and TypeScript linter rules for ESLint.

  4. analog-tools github.com

    A collection of utilities and libraries designed to enhance and extend AnalogJS.

    tool link ↗
  5. ngx-reactify github.com

    Library to make running Angular and React applications together easy.

    tool link ↗
  6. ngx-signal-store-query github.com

    Signal Store feature that bridges with Angular Query.

    tool link ↗
  7. levita github.com

    Lightweight 3D tilt & parallax with accelerometer support.

    tool link ↗
  8. ngx-hal github.com

    A datastore library with support for handling HAL-formatted HTTP requests.

    tool link ↗
  9. date-time-picker-moment-adapter github.com

    Moment.js Adapter for @danielmoncada/date-time-picker.

    tool link ↗
  10. ngx-material-drawer github.com

    Configurable Angular Material Drawer and Toolbar.

    tool link ↗
  11. toastify github.com

    Lightweight and customizable toast notifications for web applications.

    tool link ↗
  12. angular-password-checker github.com

    Protect your users from re-using a password known to be hacked with this simple Angular directive.

    tool link ↗
  13. ngx-directo github.com

    Angular 18+ Signals-based library for RTL/LTR directionality, Arabic localization, and Google Font orchestration.

  14. AlmostBinary github.com

    Code in binary and run on any platform.

    tool link ↗
  15. coq-scripts github.com

    Scripts for dealing with Coq files, including tabulating proof times.

  16. OmniSwap-Sui-SDK github.com

    (community)

    tool link ↗
  17. leveldb github.com

    Pure V implementation of LevelDB.

    tool link ↗
  18. symlinker github.com

    A small Linux tool to manage symlinks.

    tool link ↗
  19. v-toxml github.com

    XML Serialization library for V.

    tool link ↗
  20. vsqlite github.com

    SQLite CLI and module replacement written in pure V.

    tool link ↗
  21. vfc github.com

    A simple TUI file manager, made with V.

    tool link ↗
  22. west github.com

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

    tool link ↗
  23. vgoogle github.com

    Make google search on the terminal.

    tool link ↗
  24. svgg github.com

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

    tool link ↗
  25. Vlang Benchmarks Visualization github.com

    Fancy statistics and plots for Is V still fast?.

  26. Parcel Plugin Imba github.com

    tool link ↗
  27. 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 ↗
  28. excel-writer github.com

    Create Excel files with basic formats.

  29. 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 ↗
  30. ob-ada-spark github.com

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

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

  32. inotify-ada github.com

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

  33. coap-spark github.com

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

    tool link ↗
  34. stotp github.com

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

    tool link ↗
  35. continuous-verification github.com

    SPARK formal verification automated with Travis CI.

    tool link ↗
  36. spark-norx github.com

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

  37. auto-counters github.com

    Reference counting approaches to resource management.

    tool link ↗
  38. bingada github.com

    Bingo application in gtkada.

    tool link ↗
  39. si-units github.com

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

    tool link ↗
  40. 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 ↗
  41. axmpp github.com

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

    tool link ↗
  42. ada-promises github.com

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

    tool link ↗
  43. template-parser github.com

    AWS templates engine.

    tool link ↗
  44. ada-chess github.com

    Chess engine written in Ada.

    tool link ↗
  45. fiveam-matchers github.com

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

    tool link ↗
  47. portableaserve github.com

    tool link ↗
  48. cl-shlex github.com

    tool link ↗
  49. cm-incudine github.com

    tool link ↗
  50. next page of items loading…