dogear

enter for all results · esc to close

Programming Languages

22,646 items in 77 lists

  1. Name the Biggest Number github.com

    Repository for submitting proven contenders for the title of biggest number in Coq.

    tool link ↗
  2. raylib.v github.com

    Updated V bindings for raylib with plans for complete cross-platform support.

    tool link ↗
  3. cl-coroutine github.com

    tool link ↗
  4. literate-lisp github.com

    tool link ↗
  5. printv github.com

    tool link ↗
  6. chronicity github.com

    tool link ↗
  7. bodge-nuklear github.com

    tool link ↗
  8. lisp-matrix github.com

    tool link ↗
  9. Commodore 64 Emulator github.com

    A low level Commodore 64 emulator written in Actionscript 3.

    tool link ↗
  10. AutoHotkey DLL github.com

    tool link ↗
  11. AnyiQuack github.com

    . [Delphi] jQuery-like control animation framework.

    tool link ↗
  12. xxm github.com

    . [Delphi] Library enables you to create dynamic websites in Delphi, combining both Delphi and HTML in the source files. The project is compiled into a module, ready for use by a pluggable protocol handler in Internet Explorer, an ISAPI Extension, an Apache module, with…

    tool link ↗
  13. ScriptsDev github.com

    Enables you to use a scripts-dev section, which triggers scripts only in dev mode.

    tool link ↗
  14. topkg github.com

    tool link ↗
  15. J2ME Polish github.com

    Open source, Ant-based build tool for J2ME that supports building for multiple platforms including Blackberry and Symbian.

  16. Ginseng github.com

    A C++ command-line argument parser. [MIT]

    tool link ↗
  17. ExMustang github.com

    A simple, clueless slackbot and collection of responders.

    tool link ↗
  18. rayex github.com

    Raylib bindings to Elixir for games programming.

  19. mustache github.com

    Mustache templates for Elixir.

  20. neotomex github.com

    A PEG implementation with a pleasant Elixir DSL.

  21. apns github.com

    Apple Push Notifications Service client library for elixir.

  22. pc github.com

    A rebar3 port compiler.

  23. coil github.com

    Minimalistic static content engine.

    tool link ↗
  24. ecto_facade github.com

    Ecto facade that allows to separate writes and reads to different databases.

  25. go-rest-api-boilerplate github.com

    AI-friendly, production-ready Go REST API boilerplate with clean architecture, JWT authentication, RBAC, PostgreSQL, Docker hot-reload, and Swagger documentation.

  26. gomason github.com

    Test, Build, Sign, and Publish your go binaries from a clean workspace.

    tool link ↗
  27. go-res github.com

    Package for building REST/real-time services where clients are synchronized seamlessly, using NATS and Resgate.

    tool link ↗
  28. pest IDE tools github.com

    A main repository with LSP server and VSCode extension.

  29. saurvs/hypervisor-rs github.com

    Hardware-accelerated virtualization on OS X

    tool link ↗
  30. iBz-04/gloamy github.com

    [gloamy] - Rust-first autonomous agent runtime for CLI, channels, gateway, and hardware workflows.

  31. micropython-tinyrtc-i2c github.com

    Driver for DS1307 RTC and AT24C32N EEPROM.

    tool link ↗
  32. JWSETKit github.com

    JOSE library with JWS, JWT, JWE, and JWK support.

    tool link ↗
  33. ecmascript-compat github.com

    Disable ECMAScript language features not supported by your browserslist targets.

    tool link ↗
  34. vscode-ava github.com

    Snippets for Visual Studio Code.

    tool link ↗
  35. ava-codemods github.com

    Codemods that simplifies upgrading to newer versions.

    tool link ↗
  36. Ion.CheckRadio github.com

    tool link ↗
  37. Mobile-First-RWD github.com

    tool link ↗
  38. cl-cairo2 github.com

    tool link ↗
  39. iTeML github.com

    tool link ↗
  40. lua-resty-cassandra github.com

    tool link ↗
  41. weather github.com

    A command line weather app built using Elixir.

  42. pubsub github.com

    A Publish-Subscribe utility library that implements a pub-sub mechanism to ease the burden of communication on the business logic processes.

  43. plug_auth github.com

    Collection of authentication-related plugs.

    tool link ↗
  44. scan github.com

    Scan sql rows into any type powered by generics.

  45. iot github.com

    IoT is a simple framework for implementing a Google IoT Core device.

    tool link ↗
  46. goreadability github.com

    Webpage summary extractor using Facebook Open Graph and arc90's readability.

    tool link ↗
  47. Commander github.com

    A high-level event driven consumer/producer supporting various "dialects" such as Apache Kafka.

    tool link ↗
  48. treemap github.com

    Generic key-sorted map using a red-black tree under the hood.

    tool link ↗
  49. next page of items loading…