7 projects for "note-taking" with 2 filters applied:

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 1
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    iwant
    NOTE: This is a sf.net/subversion clone from https://github.com/wipu/iwant A java-based declarative, multi-threaded and incremental build system that provides a fluent java API for writing build programs. Can use ant tasks and ant and shell scripts as backend.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    **NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    dep-trace

    gdeptrace dependancy solver correct for pkg or make deps

    gdeptrace sorts an input dependancy list or table and prints it, and can do other actions. It's default operation is to act like tsort (1) except that it sorts by pure pkg / make dependancy (tsort sorts by grapical topology: see notes about differences). EXAMPLE: $ echo -e "b e\ne\nc b" | sort -k1,1 | gdeptrace [opts] e b c (b depends on e, c depends on b, e has no depends) (also: e has more items depending on it and is below anything it depends on; in this case...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 5
    (Note: this page is basically abandoned, but the compiler and library are still in development, see http://www.vr32.de/ for details.) gccVB is a GCC-based tool-chain targeting the custom NEC v810 variant used in Nintendo©'s Virtual Boy™ game syst
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ...It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This small platform independent application (written in Java) is designed to encode your e-mail addresses, thus the spam robots can not retrieve it from your page. Note that minimal HTML knowledge is needed to put the generated script into a html page.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo