Search Results for "type"

Data validation and settings management using Python type hinting. Fast and extensible, pydantic plays nicely with your linters/IDE/brain. Define how data should be in pure, canonical Python 3.6+; validate it with pydantic. id is of type int; the annotation-only declaration tells pydantic that this field is required. Strings, bytes or floats will be coerced to ints if possible; otherwise an exception will be raised. name is inferred as a string from the provided default; because it has a default, it is not required. signup_ts is a datetime field which is not required (and takes the value None if it's not supplied). pydantic will process either a unix timestamp int (e.g. 1496498400) or a string representing the date & time. friends uses python's typing system, and requires a list of integers. ...

...Once installed and configured, windsurf.vim can suggest code completions, generate multi-line snippets based on comments or invitation in code, and make the editing experience more predictive and context-aware. The plugin supports major programming languages and allows you to trigger completions as you type—especially after comments or partial code constructs. Because it is designed to integrate with Vim’s editing model, it offers suggestions in-line and leverages virtual text or inline indicators when supported. Many developers using Neovim look to this plugin as a way to bring modern AI-powered code-assistance into their terminal-centric workflow.

Atom is a text editor that's modern, approachable and full-featured. It's also easily customizable- you can customize it to do anything and be able to use it productively without ever touching a config file. Atom is free to download and runs on Linux, OS X and Windows with support for plug-ins written in Node.js and embedded Git Control. It is based on Electron (formerly known as Atom Shell),a framework for building cross-platform apps using Chromium and Node.js.

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

...Context aware snippets via the code-completion popup. Sublime build system(ctrl+b) integrating with GoSublime 9o command prompt with live command output. lint/syntax check as you type or on save. Quickly jump to any linter error reported in any open file or package. Quickly fmt your source or automatically on save to conform with your coding standards. Easily create a new go file and run it without needing to save it first (9o replay), share your snippets (anything in the loaded file) on play.golang.org. List declarations in the current file or package; automatically add/remove package imports; quickly jump your import section(automatically goes to the last import).

...Uses LSP, so should be easy to integrate with a wide selection of editors. Diagnostics via hlint and GHC warnings/errors. Code actions and quick fixes via apply-refact. Type information and documentation(via haddock) on hover. Jump to definition.

...With these, APGAS can express both regular and irregular parallelism, message-passing-style and active-message-style computations, fork-join and bulk-synchronous parallelism. Both its modern, type-safe sequential core and simple programming model for concurrency and distribution contribute to making X10 a high-productivity language in the HPC and Big Data spaces. User productivity is further enhanced by providing tools such as an Eclipse-based IDE (X10DT). Implementations of X10 are available for a wide variety of hardware and software platforms ranging from laptops, to commodity clusters, to supercomputers.

Interact with your code: use bricks to play with props, imports or quickly change a component type. Package Manager out of the box: add, upgrade, delete and search dependencies in a flash. Smart and fast autocomplete: automatically find relative path to any file, quick snippets and more to come. Preview components, quickly: press Cmd+R to toggle the component previewer. That's it. Reacto is available for Mac, Windows, and Linux.

Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

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.

PLCEdit is a cross-platform editor for POU files (program organisation unit). Supported POU sources are PROGRAM, FUNCTION_BLOCK, FUNCTION and GLOBAL_VARIABEL_LIST files, according to the IEC61131-3 standard.

The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

...Unlike traditional text editors that treat code as plain text, MPS represents programs as structured models, enabling projectional editing where syntax, constraints, and semantics of DSLs are enforced by the editor itself, reducing parsing ambiguities and expanding expressiveness. Users can build custom languages tailored to specific problem domains and immediately get IDE benefits like intelligent completion, navigation, refactoring, type checking, and code generation for those languages. MPS also supports seamless integration between DSLs and general-purpose languages, allowing mixed projects where different parts are expressed in the most appropriate notation.

XTypeS is a DSL for writing type systems for languages implemented in Xtext.

ECB is a file/code browser for Emacs. It can be used to browse any type of file and supports parsing of Java, C, C++, Elisp and some other code like perl, TeX, LaTeX. All browsing windows are within one frame and they are deletion-protected (eg by C-x 1)

Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.

Kazam is a visual editor and project manager for interactive fiction game creation with Inform, one of the major development tools for this type of games. Kazam is developed with the wxWindows cross-platform GUI package.

SourceForge for collaborative writing projects. A project management system written in PHP designed to aid group work on Creative Commons type written projects.

Dreamweaver extension for Movable Type (http://www.movabletype.org/)