Search Results for "executable"
Sort By:
96 projects for "executable" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You 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.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
LIEF
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
LIEF (Library to Instrument Executable Formats) is a cross-platform library that enables parsing, modifying, and abstracting executable formats such as ELF, PE, and Mach-O. It's widely used in reverse engineering and binary analysis. -
2
jvm-mon
Console-based JVM monitoring tool
Console-based JVM monitoring - when you just want to SSH into a server and see what’s going on. jvm-top lets you monitor your JVM server applications from the terminal. -
3
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
4
Numba CUDA Target
The CUDA target for Numba
Numba CUDA Target is NVIDIA’s maintained CUDA backend for the Numba JIT compiler, enabling developers to write GPU-accelerated code directly in Python. It allows users to define CUDA kernels using Python syntax, which are then compiled into efficient GPU code at runtime using LLVM-based toolchains. This approach significantly lowers the barrier to entry for GPU programming by eliminating the need to write CUDA C++ while still delivering high performance. The project supports the SIMT... -
Ship Agents FasterGemini 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.
-
5
mvnd
Apache Maven Daemon
Apache Maven is a software project management and comprehension tool. Based on the concept of a project object model (POM), Maven can manage a project's build, reporting and documentation from a central piece of information. -
6
Barfi
A Python visual Flow Based Programming library
...Each barfi.Block has some properties that enable the FBP and schema building. Firstly, each Block has Input and Output interfaces that link to other Blocks. Each Block can carry an executable function, that is specified by the user. This function can access/get data from the Input interface, perform computations or calculations, and set the Output interface. In general, Barfi is an abstraction of Graphical Programming, Flow-Based Programming, or Node programming. Where the Block is synonymous to a Node, and a Link (connection) is synonymous with an Edge. ... -
7
DynaMix
A new take on polymorphism
DynaMix (Dynamic Mixins) is an alternative take on object-oriented programming and dynamic polymorphism. It lets users compose and modify polymorphic objects at run time. The main target language is C++, but C is also supported. The library is a means to create a project's architecture rather than achieve its purpose. It helps with extensibility, readability, scalability, and interoperability. It focuses on maximal performance and minimal memory overhead. The library uses the type... -
8
aosabook
The Architecture of Open Source Applications
...The material is aimed at junior developers who want to learn architectural thinking, as well as more experienced programmers who want to compare approaches across systems. The repository includes documentation and production files rather than a single executable application. It is best understood as an open publishing project for software architecture learning. -
9
Think Bayes 2
Text and code for the second edition of Think Bayes, by Allen Downey
Think Bayes 2 is the companion repository for the second edition of Allen B. Downey’s introduction to Bayesian statistics. It teaches Bayesian reasoning through computational methods instead of relying mainly on symbolic mathematics. Each chapter is presented as a Jupyter notebook where readers can study the text, run examples, and complete exercises. Separate solution materials help learners check their work and explore alternative approaches. The lessons cover probability distributions,... -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
Passmark
The open-source Playwright library for AI browser regression testing
The Passmark project is an open-source AI-powered regression testing framework built on top of Playwright that enables developers to write end-to-end browser tests using natural language instead of traditional scripting. It is designed to simplify and accelerate testing workflows by allowing AI models to interpret human-readable instructions and translate them into executable browser actions. One of its defining features is a cache-first execution model, where AI is used initially to discover how to perform actions, and those actions are then stored and replayed at native speed in future runs. This approach significantly reduces reliance on AI during repeated test executions, improving both performance and cost efficiency. ... -
11
frugally-deep
A lightweight header-only library for using Keras (TensorFlow) models
Use Keras models in C++ with ease. A lightweight header-only library for using Keras (TensorFlow) models in C++. Works out-of-the-box also when compiled into a 32-bit executable. (Of course, 64 bit is fine too.) Avoids temporarily allocating (potentially large chunks of) additional RAM during convolutions (by not materializing the im2col input matrix). Utterly ignores even the most powerful GPU in your system and uses only one CPU core per prediction. Quite fast on one CPU core, and you can run multiple predictions in parallel, thus utilizing as many CPUs as you like to improve the overall prediction throughput of your application/pipeline. -
12
Claude Code Slash Commands
A collection of production-ready slash commands for Claude Code
Claude Code Slash Commands is a companion framework focused on defining structured command systems that can be used by AI agents or automation tools to perform specific actions. It provides a standardized way to describe commands, their inputs, and expected outputs, enabling consistent interaction between user instructions and executable operations. The project is designed to work alongside agent frameworks, acting as the execution layer that translates abstract intents into concrete actions. It emphasizes clarity and predictability by enforcing schemas and structured definitions for each command, reducing ambiguity in automated workflows. Developers can define custom commands tailored to their applications, making it adaptable to a wide range of use cases including automation, scripting, and AI-assisted development. ... -
13
Numbast
Build an automated pipeline that converts CUDA APIs into Numba
...Numbast is particularly useful for teams working with custom CUDA libraries or extending existing ones into Python ecosystems for data science and machine learning. It complements tools like Numba, which compile Python code into GPU-executable kernels, by expanding the range of accessible CUDA functionality. -
14
JSchemePlus
An hack of Jscheme with a lot of enhancements and additional features.
JSchemePlus is an hack of Jscheme 1.4 by Peter Norvig. It allows to redistribute a script in an executable JAR file of only ~40K and implements all of R4RS with a lot of additional functions, like: (execute command) (random) (sequence from up-to step) (split list element) (string-split string sub-string) (read-all-from-file file) (write-to-file file data) (file-size file) etc... For the complete list read the HELP file or type (help). -
15
Yaoqiang BPMN Editor
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1). -
16
GitForce
A visual front end to git
Git is a popular source revision control system. GitForce is a GUI front-end for the git command line tool and runs on both Windows and Linux. It is designed to be easy and intuitive to use and yet powerful enough so you don't need to use a command line git. -
17
ChangeScan
Determines changes during installation/removal or similar process.
JVM-based program & library for installation testing. Helps determine what changed during an installation/removal or similar process. ChangeScan has been rewritten in Kotlin. Its new home is here: https://github.com/william-hood/ChangeScan -
18
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.
A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level. -
19
Gobisoft
Software auto-installation builder
Gobisoft is a batch package builder for applications, it builds a self-install package of your programs. Creates a stand alone executable file that performs the (secured installation and removing) of the elements necessary to distribute your applications. The software offers many possibilities, such as executing commands before and after installation. -
20
ehandwriting
Groundbreaking JS plug&play writes real handwriting on your web page.
...Typically the writing will occur in an element (a div, say) or a chosen area of the window. The software auto deals with font size and spacing. DOWNLOAD ehandwriting.zip (284kb) includes: - Executable software "ehw 1.1 min.js" (132kb) - All source files + documentation, - User guides - MIT Licence -
21
Prompt Engineering Interactive Tutorial
Anthropic's Interactive Prompt Engineering Tutorial
Prompt-eng-interactive-tutorial is a comprehensive, hands-on tutorial that teaches the craft of prompt engineering with Claude through guided, executable lessons. It starts with the anatomy of a good prompt and moves into techniques that deliver the “80/20” gains—separating instructions from data, specifying schemas, and setting evaluation criteria. The course leans heavily on realistic failure modes (ambiguity, hallucination, brittle instructions) and shows how to iteratively debug prompts the way you would debug code. ... -
22
readpe
The PE file analysis toolkit
readpe (formerly known as pev) is a multiplatform toolkit to work with PE (Portable Executable) binaries. Its main goal is to provide feature-rich tools for properly analyze binaries with a strong focus on suspicious ones. -
23
OpenL Tablets is a business rules management system based on tables presented in Excel documents. Providing business-oriented approach, OpenL Tablets treats business documents containing business logic specifications as executable rules. In a very simplified view, OpenL Tablets extracts rule tables from Excel documents and executes them. The rules can be accessible from different applications. OpenL Tablets tools check all data, syntax and type errors in order to avoid any user mistakes. OpenL Tablets WebStudio is a web interface application employed by business users and rules experts to view, edit, and manage business rules and rule projects created using OpenL Tablets technology.
-
24
lorenz
Ada contributions : demos of GTKAda, binding to PCRE
Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos within a Gtk window. NeHe lessons and the penguin demo from testgtk. sources and executable for Windows 6/check_gtkada diagnoses your GtkAda installation. ... -
25
Cross-platform Java executable wrapper for creating lightweight Windows native EXEs. Provides advanced JRE search, application startup configuration and better user experience.
