Search Results for "level set method"

...Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. Perceus is an advanced compilation method for reference counting.

Remix Project is a rich toolset including Remix IDE, a comprehensive smart contract development tool. The Remix Project also includes Remix Plugin Engine and Remix Libraries which are low-level tools for wider use. Remix IDE is used for the entire journey of contract development by users of any knowledge level. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. The IDE comes in 2 flavors and a VSCode extension. Supported browsers: Firefox v100.0.1 & Chrome v101.0.4951.64. No support for Remix's use on tablets or smartphones or telephones. ...

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.

GnuCOBOL (formerly OpenCOBOL) is a free, modern COBOL compiler. GnuCOBOL implements a substantial part of the COBOL 85, X/Open COBOL and newer ISO COBOL standards (2002, 2014, 2023), as well as many extensions included in other COBOL compilers (IBM COBOL, MicroFocus COBOL, ACUCOBOL-GT and others). GnuCOBOL translates COBOL into C and internally compiles the translated code using a native C compiler. Build COBOL programs on various platforms, including GNU/Linux, Unix, Mac OS X, and...

...That means you can use Ctalk for GUI, network, client-server, and systems programs as well as traditional object oriented simulations, with all of the advantages of a true object oriented language, like class and method inheritance, and rapid prototyping. Ctalk includes a just-in-time compiler, a compact run-time library, and a developing set of X widgets and OpenGL classes to create desktop and 3-D modeling apps. Written for use with GNU GCC and LLVM, Ctalk supports a variety of UNIX, Linux, and MacOS systems, the X Window System, and libraries like the GNU readline library, and the Xft Type1, FreeType and TrueType font libraries. ...

Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

YALC is a virtual architecture designed for educational purpose. It models a DLX-like processor and its set of ASM instructions, a compiler from a high level language (C-like), and an IDE with syntax checking and highlighting.

Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.

The TechTrader Bytecode Toolkit is a high-level set of APIs for manipulating java bytecode. It is primarily targeted at making runtime and/or compile-time enhancements to existing java classes, or creating new java classes on the fly.

Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.