Search Results for "cpp syntax checker"
Sort By:
Showing 28 open source projects for "cpp syntax checker"
View related business solutions-
Run Any Workload on Compute Engine VMsCompute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
-
$300 in Free Credit for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
Cpp-Peglib
A single file C++ header-only PEG (Parsing Expression Grammars)
cpp-peglib is a single-file, header-only C++17 library for Parsing Expression Grammars (PEG). It enables developers to define grammars and build parsers directly within C++ code without external dependencies. -
2
Flycheck
On the fly syntax checking for GNU Emacs
Flycheck is a modern on-the-fly syntax-checking extension for GNU Emacs, intended as replacement for the older Flymake extension which is part of GNU Emacs. For a detailed comparison to Flymake see Flycheck versus Flymake. It uses various syntax checking and linting tools to automatically check the contents of buffers while you type, and reports warnings and errors directly in the buffer, or in an optional error list. Out of the box Flycheck supports over 40 different programming languages... -
3
Pyright
Static type checker for Python
Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets. Type inference for function return values, instance... -
4
Lux
The Lux Programming Language
...Read carefully before using this project, as the license disallows commercial use, and has other conditions which may be undesirable for some. The language is mostly inspired by the following 3 languages. Clojure (syntax, overall look & feel), Haskell (functional programming), and Standard ML (module system). They are implemented as plain-old data-structures whose expressions get eval'ed by the compiler and integrated into the type-checker. The main difference between Lux & Standard ML is that Standard ML separates interfaces/signatures and implementations/structures. -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
Afick is a fast and portable intrusion detection and integrity monitoring system, designed to work on all platform (it only needs perl and standard modules), including windows, linux, unix. The configuration syntax is very close from tripwire/aide
-
6
-
7
Irony-Mode
A C/C++ minor mode for Emacs powered by libclang
irony-mode is an Emacs minor-mode that aims at improving the editing experience for the C, C++ and Objective-C languages. It works by using a combination of an Emacs package and a C++ program (irony-server) exposing libclang. irony-server provides the libclang interface to irony-mode. It uses a simple protocol based on S-expression. This server, written in C++ and requires the specified packages to be installed on your system. Exactly one package manager should manage irony-mode. If using... -
8
KAGSA
KAGSA PROGRAMMING LANGUAGE
it designed to be easy to learn and practical for use in various projects. It has a flexible syntax and allows some things that other languages prohibit, such as using certain symbols in variable names and starting variable names with numbers. KAGSA contains several main components, including a lexer, syntax checker, parser, and compiler. It supports object-oriented programming, iteration, and other features commonly used in programming languages. -
9
Vale
Compiler for the Vale programming language
Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the... -
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
BookPart2
Interpreter Code for Book Part 2
Source code for the book "Writing an Interpreter for Object Pascal: Part 2 This is the second part of a series that will show you how to write an interactive interpreter in Object Pascal. Part 2 describes the building of the first version of a virtual machine together with a simple assembler. The book combines the virtual machine with the syntax checker for the Rhodus language. Intermediate code is generated directly as the source code is parsed. At the end of Part II, the reader will be a very serviceable interpreter that supports user-defined functions, built-in functions, string, and list support together with a range of looping constructs. A simple console application is provided to allow users to exercise the interpreter. ... -
11
email-validation-api.com
Email Address Verification API
We provide a High Quality / Real-Time Email address Verification API. We perform checks on both local username and domain name parts of the Email address syntax. Our system evaluate a score based on the username syntax risk, as well as some deep server verifications, such as: MX records existence, SMTP host, open ports, and the answers after a socket conversation between our server and the SMTP host. Our API will answer to your requests using the output format of your choice, with the... -
12
Google Closure Compiler
A JavaScript checker and optimizer
Closure Compiler is a production-grade JavaScript optimizer and checker that parses JS, analyzes it, removes dead code, rewrites and minifies what remains, and emits faster, smaller bundles. Beyond minification, it performs advanced optimizations such as inlining, property collapsing, type-guided rewrites, and cross-module motion, often yielding substantial load-time wins. It includes a strong static checker that validates syntax, variable references, and type annotations (Closure types or JSDoc), catching bugs early and enabling aggressive transformations safely. ... -
13
C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.
-
14
STPA Verifier is an Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV. The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable user to configure the model checker with necessary parameters. ...
-
15
The Text Trix editor is an open-source, cross-platform text editor with a mind for user-friendly file and text navigation. See our new GitHub home for the latest and greatest Text Trix development: https://github.com/the4thchild/texttrix
-
16
Products of the project: Java HTMLParser - VietSpider Web Data Extractor - Extractor VietSpider News. Click on "Show project details" to see more feature about each product.
-
17
C Checker
Simple C Checker to validate if formatted correctly before compiling
Simple C Checker written in Perl 5.14+ to validate if formatted correctly before compiling. It only validates syntax is correct, no logic or pseudo code is verified. -
18
ART
Adaptive Reuse Technique
ART is a kind of a pre-processor with cpp-like syntax. ART can do what cpp does, but also extends cpp’s capability to manage software variability and write reusable software in general. ART is an improved version of XVCL (http://xvcl.comp.nus.edu.sg or https://sourceforge.net/projects/fxvcl/). ART replaces the need for many Variability Management Techniques with a single well-thought out mechanism that is simple, powerful and fully automated. -
19
texiteasy
Simple and Powerful Latex Editor
-
20
JTidy is a Java port of HTML Tidy, a HTML syntax checker and pretty printer. Like its non-Java cousin, JTidy can be used as a tool for cleaning up malformed and faulty HTML. In addition, JTidy provides a DOM parser for real-world HTML.
-
21
sqlpp is a conventional cpp-alike preprocessor taught to understand SQL syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also #perldef for calling arbitrary perl code.
-
22
Utility to help create book modules for the Sword Project. Easy Module properties editing. Uses syntax highlighting for the text code. Supports ThML, Osis and plain text at present. Easy one-click creation of Sword Module. Includes Spell-checker. Each pr
-
23
The Concurrent Object-Oriented Petri Nets (CO-OPN) formalism is devised to support the specification of distributed systems in a modular way. Tools such as editors, syntax checker, test generator and prototype generator are proposed in this project.
-
24
-
25
Flymake is a universal on-the-fly syntax checker implemented as Emacs minor mode. Flymake automatically runs the syntax check tool, parses the output for known error patterns, highlights erroneous lines and shows overall check status in the mode line.
