dogear

enter for all results · esc to close

Programming Languages

22,646 items in 77 lists

  1. Fluid-Squares github.com

    tool link ↗
  2. C Flat github.com

    Musical language focused on sound rather than notation with creative freedom in mind.

    tool link ↗
  3. Hahn github.com

    Library for reasoning on lists and binary relations.

    tool link ↗
  4. Bedrock Bit Vectors github.com

    Library for reasoning on fixed precision machine words.

    tool link ↗
  5. Gaia github.com

    Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.

  6. AptosAMMswap github.com

    Aptos AMM Swap implemented by the OmniBTC team.

    tool link ↗
  7. NeuralNetworks-V-Module github.com

    This is a V module to create neural networks.

  8. ada-ado github.com

    Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports PostgreSQL, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM.

  9. xmlada github.com

    The XML/Ada toolkit.

    tool link ↗
  10. Moira github.com

    tool link ↗
  11. cl-mixed github.com

    tool link ↗
  12. plain-common-lisp github.com

    tool link ↗
  13. specialization-store github.com

    tool link ↗
  14. cl-webdriver-client github.com

    tool link ↗
  15. s2i-lisp github.com

    tool link ↗
  16. glyphs github.com

    tool link ↗
  17. 40ants/setup-lisp github.com

    tool link ↗
  18. Facebook github.com

    Integrate Facebook SDK into your AIR apps.

    tool link ↗
  19. Flow github.com

    Layout, effects, data binding and remoting framework to be used instead of Flex.

    tool link ↗
  20. Adobe TLF github.com

    Adobe/Apache Flex Text Layout Framework (TLF).

    tool link ↗
  21. gitlab.cr github.com

    GitLab API wrapper

  22. Facade github.com

    tool link ↗
  23. LV_Colors github.com

    tool link ↗
  24. ISO8601 github.com

    tool link ↗
  25. Nproc github.com

    tool link ↗
  26. Dum github.com

    tool link ↗
  27. Mono-D's DParser github.com

    tool link ↗
  28. crown github.com

    Crown is a general purpose data-driven game engine, written from scratch in orthodox C++ with a minimalistic and data-oriented design philosophy in mind. [MIT]

  29. libevil github.com

    The Evil License Manager. [GPLv3]

    tool link ↗
  30. echo github.com

    A meta-notification system; Echo checks notification preferences & dispatches notifications.

    tool link ↗
  31. exkorpion github.com

    A BDD library for Elixir developers.

  32. plug_secex github.com

    Plug that adds various HTTP Headers to make Phoenix/Elixir app more secure.

  33. hexate github.com

    Simple module for Hex encoding / decoding in Elixir.

  34. riak_ecto github.com

    Riak adapter for Ecto.

    tool link ↗
  35. mnemonic_slugs github.com

    A memorable, mnemonic slug generator in Elixir.

  36. chatter github.com

    Secure message broadcasting based on a mixture of UDP multicast and TCP.

    tool link ↗
  37. ex_prompt github.com

    Helper package to add interactivity to your command line applications as easy as possible.

    tool link ↗
  38. Tuck github.com

    A micro framework for building Reagent apps that have a clean separation of view code and event processing code.

    tool link ↗
  39. plato github.com

    Incrementally persists atom state to Local Storage in ClojureScript.

    tool link ↗
  40. Arli github.com

    tool link ↗
  41. TestXml github.com

    tool link ↗
  42. toml-scala github.com

    tool link ↗
  43. goriak github.com

    Go language driver for Riak KV.

    tool link ↗
  44. set github.com

    Simple set data structure implementation in Go using LinkedHashMap.

    tool link ↗
  45. stl github.com

    Software transactional locks based on Software Transactional Memory (STM) concurrency control mechanism.

  46. rebed github.com

    Recreate folder structures and files from Go 1.16's embed.FS type

    tool link ↗
  47. graterm github.com

    Provides primitives to perform ordered (sequential/concurrent) GRAceful TERMination (aka shutdown) in Go application.

    tool link ↗
  48. xmlwriter github.com

    Procedural XML generation API based on libxml2's xmlwriter module.

  49. sched github.com

    A job scheduler with the ability to fast-forward time.

    tool link ↗
  50. Hamcrest github.com

    fluent framework for declarative Matcher objects that, when applied to input values, produce self-describing results.

    tool link ↗
  51. next page of items loading…