Search Results for "user-defined language notepad"
Sort By:
Showing 23 open source projects for "user-defined language notepad"
View related business solutions-
$300 Free Credits to Build on Google CloudStart 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.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
2
Notepad++ Linter
Linter plugin for Notepad++
A Notepad++ plugin that allows realtime code check against any checkstyle-compatible linter: jshint, eslint, jscs, phpcs, csslint and many others. -
3
perftence
A fluent language to write perftences
Performance test engine written in Java and exposed as a fluent API for writing JUnit tests. Perftence can also be used without JUnit by using perftence-api distribution package. Full test results are provided in html, which can published directly with different CI's (e.g. Jenkins/Hudson). Runtime test statistics are also provided through logging (e.g. using slf4j-log4j and log4j). Pertence tool can also be used for finding out threading issues. Just write a test that uses the... -
4
AutoReplacerPlus
Automatic correction of software bugs and grammar mistakes
Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.
-
6
Geeklog Plugins, Static Pages and Blocks
Multilingual FAQ and other addons for the Geeklog CMS
This is a plugin project for the Geeklog CMS, providing plugins, static pages and blocks. The main project is MultiFAQ - a multilingual FAQ that lets each user see the FAQ in their chosen language. -
7
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
-
8
T-Plan Robot - GUI Test Automation
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
This is the open source project of the now greatly enhanced Enterprise solution which has professional support, is faster, smarter and has lots more functionality. T-Plan Robot (formerly VNCRobot), is the most flexible and universal black box automated testing tools on the market. This project is the former open source version, and is now superseded by T-Plan Robot Enterprise. Robot is platform independent (Java), and thus performs well in situations where other tools may fail. Robot... -
9
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
-
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.
-
10
TSL-TGE -- Test Specification Language-Test Generation Engine Specify independent and dependent factors in an XML file, TSL. Then TGE makes substitutions of generated combinations into a template file. For use in Factorial Test Design.
-
11
WebAPSEE is an open source project which aims to provide automated support for software process management. The users list is: http://groups.google.com/group/webapsee-usuarios
-
12
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
13
Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.
-
14
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
-
15
Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.
-
16
STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing
-
17
MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E
-
18
Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
-
19
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
-
20
Round Trip Engineering Objects. Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
-
21
Find case inconsistencies in the source tree. May be useful for porting applications in any programming language from case-insensitive (like Windows) to case-sensitive (like Linux) runtime environment.
-
22
TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE
-
23
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
- Previous
- You're on page 1
- Next
