Search Results for "design"

...All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello, world!"]} Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. ...

chibicc is a small yet highly capable C compiler designed to implement most features of the C11 standard while maintaining a clean and educational codebase. It is intended as both a functional compiler and a learning resource, allowing developers to understand how compilers work by reading and studying its implementation. Despite being categorized as a “toy” compiler, it is powerful enough to compile real-world programs such as Git, SQLite, and libpng without modification. The project is...

...If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and your thought processes with EiffelStudio. When ready to design, you build upon the model you just created, still with EiffelStudio. Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. Roundtrip engineering? It’s built in by design. Testing, metrics and productivity tools? ...

Convert C++ software programs into synthesisable Verilog using the Clang compiler frontend to parse and SystemC for intermediates.

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.

MiniLisp is a compact Lisp interpreter implemented in fewer than one thousand lines of C, designed to demonstrate the core principles of Lisp and interpreter design in a highly readable format. The interpreter evaluates expressions in a traditional read-eval-print loop, allowing users to input Lisp code and immediately see the results. Despite its small size, it supports a wide range of language features, including integers, symbols, lists, closures, macros, and garbage collection. The project emphasizes clarity and educational value, with well-commented code that explains how each feature is implemented. ...

...VHDL revolutionized how FPGA designs and digital logic circuits have been designed and captured and overcame many of the difficulties associated with the use of schematic editing tools. We believe the use of an HDL is also the way of the future when it comes to PCB design. The PHDL compiler automatically supports the output of PADS and Eagle netlists, and through extending a simple java class, users can generate a netlist in practically any format required by their choice of a layout tool.

CoffeeScriptRedux is a rewritten version of the CoffeeScript compiler with emphasis on compiler design principles, robustness, and extensibility—designed to be "complete enough to use for nearly every project." Before transitioning from Jeremy's compiler, see the intentional deviations from jashkenas/coffee-script wiki page. Complete enough to use for nearly every project. Proper compiler design principles and a focus on robustness and extensibility.

...In the course of performing that assign any retrieve operations indicated in the text are performed before committing the assign. That is all there the system does. The driving motivation for this design is that as far as we know, the human mind supports these two instructions.It may have additional mechanisms that create new assigns, but using the results of these mechanisms requires a system built from these instructions.

Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.

The Clump language proposes a natural evolution of the basic Object-Oriented paradigm revisiting the duality existing between the data and the knowledge. This implies a design based on Class-Oriented and Pattern-Oriented approaches in a same language

Generate a parser at runtime from a collection of C++ objects. Concisely state a parser specification in ordinary C++ code. Learn from a parser generator with an object-oriented design.

Haggler supports the definition, documentation, and implementation of class invariants and method pre-conditions and post-conditions through Java5 annotations.

Experimental OO programming language for event-driver design and roles, whitout reserved words.

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

TreeDL (Tree Description Language) is a notation for tree structures used by programs (like syntax trees) and tool for translation of tree descriptions to target programming language, docs generation, etc. Tool's functionality can be extended by plugins.

Covra is a project to help design compilers. C3 is a tool specialized on the easy design and construction of ASTs, it is independent of the compiler compilers or parser generator that is used. It generates Java and C# code. Require JRE 1.6.0.

Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.

ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

Extended C gives Object-Oriented features such as self-referential structure pointers via macros to C, resulting in an object-oriented style. Currently tested in gcc, we hope to stabilize it for other compilers as well, including Borland & Visual Studio.

C into assembly language converter producing asm files, specific optimizations for different chip manufacturers (Intel, AMD and Transmeta), written in C/C++ with OOP design, designed to be multiplatform