dogear

enter for all results · esc to close

Programming Languages

22,646 items in 77 lists

  1. Ash-Nazg github.com

    One config to rule them all!

    tool link ↗
  2. decheck github.com

    Explore dependencies of npm packages in the command-line.

    tool link ↗
  3. deep-bind github.com

    Bind a context to all functions in an object, including deeply nested functions.

    tool link ↗
  4. shurley github.com

    Parses URLs from user input (with potential typos in protocols, bad copy+paste, etc.) and returns a proper URL.

    tool link ↗
  5. Hubot github.com

    tool link ↗
  6. brackets-standard github.com

    tool link ↗
  7. js-sdsl github.com

    tool link ↗
  8. CellTail github.com

    A 1d celular automata based language, supports a complex pattern matching syntax.

    tool link ↗
  9. Suzy github.com

    3D language inspired in Befunge.

    tool link ↗
  10. Floating-Point Numbers and Formal Proof github.com

    Introductory course on Coq real numbers and floating-point numbers from the Flocq library.

  11. Numeric-GLib github.com

    A collection of numeric data types for GLib (and Vala) via GCC extensions. It includes 128 bit integers & floats, complex types, vectorized operations, and decimal types.

    tool link ↗
  12. Almanna ORM github.com

    The Almanna ORM for Vala/GLib.

    tool link ↗
  13. vxbloauth github.com

    A minimalistic Xbox Live authenticator for vweb.

    tool link ↗
  14. minimax-v github.com

    Local AI Agent runtime implemented in the V language.

  15. vro github.com

    <0.5MB micro-inspired basic text editor. Compatible with Micro's YAML syntax highlighting.

    tool link ↗
  16. fdup github.com

    Find and remove duplicate files.

    tool link ↗
  17. github-releases github.com

    Cli tool to keep track of applications released as GitHub Release (or assets in workflow) and download them.

    tool link ↗
  18. language-v github.com

    V language support for Atom (port of vscode-vlang).

    tool link ↗
  19. raknet github.com

    A V implementation of the classic RakNet protocol used by Minecraft: Bedrock Edition.

    tool link ↗
  20. vest github.com

    A REST client in V.

    tool link ↗
  21. boehmgc-ada github.com

    Ada binding to the Boehm-Demers-Weiser conservative garbage collector.

    tool link ↗
  22. tashy github.com

    Tcl Ada SHell Younger (Tashy) is derivate of Tash, focused mostly on Tk binding.

    tool link ↗
  23. vim-ada-bundle github.com

    Maintained Ada Bundle : Complete Ada-Mode for Vim/Neovim.

    tool link ↗
  24. ada-bfd github.com

    An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

    tool link ↗
  25. geo-energy-math github.com

    Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018).

  26. giza github.com

    This library is trying to be a simple widget tool kit for embedded platforms.

    tool link ↗
  27. automate github.com

    Finite-state machine generator.

    tool link ↗
  28. cl-annot-revisit github.com

    tool link ↗
  29. ACL2-kernel github.com

    tool link ↗
  30. calendar-date github.com

    tool link ↗
  31. cl-djula-tailwind github.com

    tool link ↗
  32. zaserve github.com

    tool link ↗
  33. nclasses github.com

    tool link ↗
  34. cl-tron-mcp github.com

    tool link ↗
  35. simple-currency github.com

    tool link ↗
  36. Csg.as github.com

    Constructive Solid Geometry on 3D meshes.

  37. BlurHash github.com

    A BlurHash encoder/decoder implementation in ActionScript 3.0..

    tool link ↗
  38. DataTree github.com

    Displays hierarchical data arranged as an expandable tree.

    tool link ↗
  39. Fxg-as3-lib github.com

    Pure AS3 FXG rendering library (both runtime rendering and mxml supported).

    tool link ↗
  40. Nexuslib github.com

    Reflection, serialization, seeded random number generation, cryptography, networking, and more.

  41. Bluetooth github.com

    Scan for other devices, connect to and pair with them and transfer data between them.

    tool link ↗
  42. De-Monster Debugger github.com

    Advanced tool to debug graphics and data from a live AIR application.

    tool link ↗
  43. XMPP github.com

    Client-side implementation of XMPP library.

    tool link ↗
  44. AStream github.com

    XML to Object (and vice versa) mapping library written in AS3. Compatible with XStream.

    tool link ↗
  45. AS3midilib github.com

    Work with MIDI files and MIDI input/output devices.

    tool link ↗
  46. simple_retry github.com

    Simple tool for retrying failed code blocks

    tool link ↗
  47. mDNS github.com

    DNS Service Discovery and multicast DNS

    tool link ↗
  48. crystal-darksky github.com

    Wrapper for the Dark Sky API

  49. next page of items loading…