98 projects for "or-tools" with 2 filters applied:

  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 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: 4 This Week
    Last Update:
    See Project
  • 2
    The freeWrap program turns TCL/TK scripts into single-file binary executable programs. freeWrap can wrap TCL/TK applications that consist of multiple script and binary files. freeWrap combines all the files together into a single executable file.
    Leader badge
    Downloads: 36 This Week
    Last Update:
    See Project
  • 3

    pyexpander

    A powerful macro processor based on python

    Pyexpander is a powerful macro processor based on python. Instead of simple macro replacement it offers evaluation of arbitrary python expressions and execution of python code. Pyexpander is Turing Complete.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    eXist-db

    eXist-db

    eXist-db is a feature rich Open Source native XML database

    eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist
    Downloads: 6 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
    Jamocha is an open source rule engine. The objective of Jamocha is to provide a high quality rule engine and expert system shell environment. We would provide you an engine, the required development tools and a best practice methodology.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 211 This Week
    Last Update:
    See Project
  • 7

    cado

    Template-based code generation language.

    Cado is a mature code generation language that operates on standard templates with embedded macros. It is useful for generating source code and other related content (tests, docs, configuations, etc.), deriving from a common project nomenclature.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    XMLStarlet is a set of command line utilities (tools) to transform, query, validate, and edit XML documents and files using simple set of shell commands in similar way it is done for text files with UNIX grep, sed, awk, diff, patch, join, etc utilities.
    Leader badge
    Downloads: 854 This Week
    Last Update:
    See Project
  • 9
    Classic BCPL for the ATARI ST

    Classic BCPL for the ATARI ST

    BCPL was designed by Martin Richards at Cambridge University (1966)

    Here you will find a collection of BCPL tools I've gathered from the net, cleaned up and ported to the Atari ST. This involved fixing bugs, reducing stack usage and making the code compile in 16bit via Pure C (Turbo C for the Atari ST). Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10
    Cincom MANTIS Share
    MANTIS is a hybrid high level programming language and tools optimized to crank out "line of business" applications. It allows focus on business data and process instead of technology. However, access to low level technologies are available if desired.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    CooKit is Tcl interpreter with many extensions closed in single binary file. It lets end-users to run advanced Tcl applications using just this single file.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 12
    The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Administrative WebSphere library. Designed as a foundation library (providing a wsadmin.sh wrapper) following Object Oriented approach for WebSphere administrators who are used to develop Python scripts to do WebSphere adrministrative tasks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    TXR

    Text scraping and data munging language.

    ...TXR combines a text scraping language combined with an innovative Lisp dialect geared toward data munging. TXR cribs ideas from modern scripting languages, multiple Lisp dialects, functional languages, and Unix tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    PyInstaller

    PyInstaller

    Converts (packages) Python programs into stand-alone executables

    PyInstaller is a program that converts (packages) Python programs into stand-alone executables, under Windows, Linux, Mac OS X, AIX and Solaris. Its main advantages over similar tools are that PyInstaller works with any version of Python since 2.3, it builds smaller executables thanks to transparent compression, it is fully multi-platform, and uses the OS support to load the dynamic libraries, thus ensuring full compatibility. The main goal of PyInstaller is to be compatible with 3rd-party packages out-of-the-box. ...
    Downloads: 73 This Week
    Last Update:
    See Project
  • 17

    Kayacc

    A Compiler Development Toolkit

    ...The class library supports symbol tables, Unicode text manipulation, reserved word mappings, and translating between Unicode and byte oriented encodings. Tombo is an alternative for lex, yacc and Bison tools. Source can be browsed in git/code repository or src directory. Send e-mail to tombo@gekkoware.com for support
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    jWAM

    A 100% Java Warren Abstract Machine implementation.

    ...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Prime Mover is a small and flexible build tool intended to be used instead of make. It is intended to be deployed with the projects that use it, and does not requires installation to use. It is modular and can be extended using the Lua scripting lang
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    jNetStream is a sniffer and a protocol analyzer. Includes applications and library. 100s of protocols are defined. Includes scripting. It is appropriate for custom protocol development, grad students, and network teachers/professors. Full SDK included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Kaptain is a universal graphical front-end for command line programs. Grammar scripts describe the possible parameters for command lines and Kaptain brings up a user friendly dialog for that. Package contains front-ends for Enscript, Indent, Procmail
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Minima Framework
    The Mini.Ma Web Application Framework for Agile, Rapid and DRY Development
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Build automation and Package management system
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This is a collection of small to mid-sized tools I wrote, mostly in java. this includes an XML-Parser and a 3d engine. Please see the homepage for a closer description
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
Auth0 Logo