OCaml Integrations

A sophisticated text editor for code, markup and prose. Use Goto Anything to open files with only a few keystrokes, and instantly jump to symbols, lines or words. Make ten changes at the same time, not one change ten times. Multiple selections allow you to interactively change many lines at once, rename variables with ease, and manipulate files faster than ever. The Command Palette holds infrequently used functionality, like sorting, changing the syntax and changing the indentation settings. With just a few keystrokes, you can search for what you want, without ever having to navigate through the menus or remember obscure key bindings. Sublime Text has a powerful, Python API that allows plugins to augment built-in functionality. Package Control can be installed via the command palette, providing simple access to thousands of packages built by the community.

Apache NetBeans is a versatile, open-source Integrated Development Environment (IDE) used for developing applications across a wide range of programming languages, including Java, JavaScript, PHP, HTML5, and C/C++. Known for its modular architecture, NetBeans provides robust tools and features that cater to the needs of developers working on desktop, mobile, and web applications. It includes intelligent code editing, debugging, and profiling capabilities, along with a built-in visual GUI builder for designing Java-based user interfaces. NetBeans also offers support for version control systems like Git, SVN, and Mercurial, facilitating seamless team collaboration. As an Apache Software Foundation project, NetBeans benefits from an active community that continuously improves and expands its functionality, making it a reliable and flexible choice for developers across various domains.

IP2Location is a leading IP geolocation service provider since 2002. You can use IP2Location to identify country, region, city, latitude & longitude, ZIP code, time zone, connection speed, ISP, domain name, IDD country code, area code, weather station data, mobile network codes (MNC), mobile country codes (MCC), mobile carrier, elevation, usage type, address type, advertising category, VPN and residential proxies using IP address. It has been used by thousands of developers to enrich their applications and web sites. It is available as database, API and bulk services. Please visit our web site for more information.

Glitch is a collaborative programming environment that lives in your browser and deploys code as you type. Use Glitch to build anything from a good ol’ static webpage to full-stack Node apps. You never have to start from scratch: Just start remixing an existing starter app, or clone a project from services like GitHub and GitLab to experiment and deploy on Glitch. Build off the most popular JavaScript frameworks. Your favorite companies use Glitch to share apps that get you up and running with their APIs. Invite friends to work with you on public or private projects. Anyone with a browser can jump in and pick up where you left off, and private .env files keep secrets like API keys, well, secret. There's no deployment setup—as soon as you create a new project, your Glitch app is live with its own URL (or your custom domain!). Share or embed anywhere, and invite anyone to check out your code or remix it.

Refraction is a code-generation tool for developers. It uses AI to generate code for you. You can use it to generate unit tests, documentation, refactor code, and more. Generate code using AI in 34 languages — Assembly, C#, C++, CoffeeScript, CSS, Dart, Elixir, Erlang, Go, GraphQL, Groovy, Haskell, HTML, Java, JavaScript, Kotlin, LaTeX, Less, Lua, MatLab, Objective-C, OCaml, Perl, PHP, Python, R Lang, Ruby, Rust, Sass / SCSS, Scala, Shell, SQL, Swift, and TypeScript. Join thousands of developers around the world using Refraction to generate documentation, create unit tests, refactor code, and more using AI. Use the power of AI to automate the tedious parts of software development like testing, documentation, and refactoring, so you can focus on what matters. Refactor, optimize, fix and style-check your code. Generate unit tests for your code with various test frameworks. Explain the purpose of your code to make it easier to understand.

Hacker AI is an artificial intelligence system that scans source code to identify potential security weaknesses that may be exploited by hackers or malicious actors. By identifying these vulnerabilities, organizations can take steps to fix the issues and prevent security breaches. Hacker AI is created by a French company based in Toulouse that uses a GPT-3 model. Please compress your project source code into a single Zip archive and upload it. Check your email, as you will receive the vulnerability detection report within 10 minutes. The Hacker AI is in the beta phase and the results it provides are not useful without the guidance of a cybersecurity expert with a background in code analysis. We do not sell or use your code source for malicious purposes. It is strictly used for the detection of vulnerabilities. If necessary, you can request a dedicated non-disclosure agreement (NDA) from us. You can also request a private instance.

Extism is an open-source, universal plug-in system to make all software programmable, and it's powered by WebAssembly. In-depth documentation, constantly updated as the project grows. 15+ officially supported Host SDKs, making Extism embeddable in the most popular languages. 7+ officially supported PDKs, to write plug-ins in whichever language a developer would like. A growing set of runtime features makes Extism an excellent plug-in system for apps of all types & sizes. Fully-featured canonical reference demo with Elixir host SDK, and plugins in Rust, TypeScript, & Javascript. Implementation of a turn-based multiplayer game platform and games included to play and review. Games are implemented as WebAssembly modules containing a specific set of exports. Check out the source code on GitHub, download the installer, and get started. 100% open-source code. Fork it, experiment, & run your own game server.

Unikernels are fast, secure, increase server density and eliminate devops. Unikernels can boot 2 orders of magnitude faster than docker and run software up to 200% faster on GCP and up to 300% faster on AWS. Unikernels by design help prevent many types of remote code execution attacks and you can run thousands of them on commodity hardware. We can provision hundreds to thousands of virtual machines on the same hardware. We don't scan for hacked systems - we remove the tools hackers use to stop it in the first place.

American fuzzy lop is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor or resource-intensive testing regimes down the road. Compared to other instrumented fuzzers, afl-fuzz is designed to be practical, it has a modest performance overhead, uses a variety of highly effective fuzzing strategies and effort minimization tricks, requires essentially no configuration, and seamlessly handles complex, real-world use cases, say, common image parsing or file compression libraries. It's an instrumentation-guided genetic fuzzer capable of synthesizing complex file semantics in a wide range of non-trivial targets.

Opengrep is an open-source static code analysis engine designed to identify security vulnerabilities within codebases. As a fork of Semgrep, it maintains a similar focus on providing fast and powerful code pattern search capabilities across more than 30 programming languages, including Python, JavaScript, and Go. Opengrep enables developers to define custom rules for pattern matching, facilitating the detection of potential security issues and promoting adherence to coding standards. By integrating Opengrep into the development workflow, teams can proactively address vulnerabilities, thereby enhancing the overall security and reliability of their software projects.

CodeSession is a collaborative coding interview platform and web‑based IDE that enables real‑time and take‑home technical assessments without any local setup. With support for over 40 programming and scripting languages, interviewers and candidates work together in a shared environment featuring syntax highlighting, auto-formatting, and customizable code templates. The platform also offers live whiteboarding, integrated take‑home test delivery, unlimited user seats, and permanent interview storage at unique links, ensuring that all sessions can be reviewed at any time. Designed for rapid deployment, most teams are ready to start interviewing within 15 minutes of signing up, and no additional infrastructure or external portals are required. CodeSession captures every keystroke and drawing action, streamlining evaluation of problem‑solving skills and code quality.

Typora gives you a seamless experience as both a reader and a writer. It removes the preview window, mode switcher, syntax symbols of markdown source code, and all other unnecessary distractions. Instead, it provides a real live preview feature to help you concentrate on the content itself. Typora allows you to manage your files easily, providing both file tree panel and articles (file list) side panel, allows you to manage your files easily. Organize your files your way, including putting in sync services, like Dropbox or iCloud. Automatically see the Outline structure of your documents in outline panel, which allows you to quickly go through the document and jump to any section with one click. Export to PDF with bookmarks. Go further and export or import. More formats, including docx, OpenOffice, LaTeX, MediaWiki, Epub, etc, can be exported or imported. See how large your document is in words, characters, lines, or reading minutes.

We help you deliver code confidently by showing which parts of your code aren’t covered by your test suite. Free for open-source repositories. Pro accounts for private repositories. Instant sign-up through GitHub, Bitbucket, and Gitlab. Maintaining a well-tested codebase is mission-critical. Figuring out where your tests are lacking can be painful. You're already running your tests on a continuous integration server, so shouldn't it be doing the heavy lifting? Coveralls works with your CI server and sifts through your coverage data to find issues you didn't even know you had before they become a problem. If you're just running your code coverage locally, you won't be able to see changes and trends that occur during your entire development cycle. Coveralls lets you inspect every detail of your coverage with unlimited history. Coveralls takes the pain out of tracking your code coverage. Know where you stand with your untested code. Develop with confidence that your code is covered.

Dash gives your Mac instant offline access to 200+ API documentation sets. Dash is an API documentation browser and code snippet manager. Dash instantly searches offline documentation sets for 200+ APIs, 100+ cheat sheets, and more. You can even generate your own docsets or request docsets to be included. Dash comes with 200+ offline documentation sets. You can choose which documentation sets to download and Dash will take care of the rest, making sure they are kept up to date. You can also generate your own docsets, request docsets or download docsets from third-party sources. All documentation sets have been generated and are maintained with the utmost care. Dash integrates with package managers to generate documentation sets for anything you might need, as well as provide custom documentation sources of their own. Store snippets of code. Easily reuse snippets. Expand snippets in any app. Organize snippets with tags, syntax highlighting, and variable placeholders.

Get real-time and historical exchange rates for any currency. Get information on all global stock exchanges. Free logo endpoint for payment methods. Our goal with the Synth API is to make it as simple as possible to get up and running with the various tools Synth offers around fintech data. You can interact with the API through HTTP requests from any language. Synth provides modern fintech APIs for businesses tired of dealing with antiquated enterprise software. Production requests must be routed through your own backend server where your API key can be securely loaded from an environment variable or key management service. Translate cryptic bank transactions into merchants with logos, addresses, and more. Lists all fiat currencies, along with details about each currency. Real-time rates for any currency, are updated every 60 seconds. Provides a list of all the stock tickers supported by Synth.

Unleash your AI dream project in hours, not months. Imagine, this electrifying message was crafted by AI and beamed directly to you; welcome to a live demo experience like no other. With us, forget the hassle of rate-limiting, authentication, analytics, spend management, and juggling multiple top-tier AI models. We've got it all under control, so you can zero in on creating the ultimate AI masterpiece. We provide the tools to help you build and deploy your AI projects faster. We take care of the infrastructure so you can focus on what you do best. Using our workflows, you can tweak prompts, update models, and deliver changes to your users instantly. Filter and control malicious requests with our security features such as single-use tokens and rate limiting. Use multiple models using the same API, models from OpenAI, Meta, Google, Mixtral, and Anthropic. Prices are per 1,000 tokens, you can think of tokens as pieces of words, where 1,000 tokens are about 750 words.

Code conversion is made super simple to save you hours of time from learning a completely new language. With automated code conversion, you don't have to spend hours manually rewriting code in a different language. We use advanced AI models to ensure that your code is converted with the highest accuracy and quality. No need to download or install any software. Simply paste your code and click a button to convert it to your desired language. All our paid plans come with unlimited usage. Convert as much code as you want using our web tool. We take privacy and security seriously. We do not retain the user’s input code and/or the generated output code. You can use our free converter for up to 5 conversions/day without even logging in. For more conversions, please sign in. Every new user gets 10 free credits to try our conversion tool. Users can purchase one of our paid plans for extended usage.

A community-driven Emacs distribution. The best editor is neither Emacs nor Vim, it's Emacs and Vim! Spacemacs is a new way to experience Emacs, a sophisticated and polished set-up focused on ergonomics, mnemonics and consistency. Key bindings are organized using mnemonic prefixes like b for buffer, p for project, s for search, h for help etc. Innovative real-time display of available key bindings. Simple query system to quickly find available layers, packages and more. Similar functionalities have the same key binding everywhere thanks to a clearly defined set of conventions. Community-driven configuration provides curated packages tuned by power users and bugs are fixed quickly.