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. ...

corroded is a Rust project that intentionally strips away Rust’s safety guarantees and idiomatic protections, offering utilities and patterns that prioritize raw power and freedom over the usual borrow checker enforcement or strict ownership rules. Its README and community reactions suggest a mix of satire and extreme experimentation: the project makes “unsafe” Rust easier to use by removing typical compile-time checks, pushing the language toward behavior more like C for cases where...

...While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still is to some degree) to provide users with a small set of powerful features that can be combined to great (and sometimes even unforeseen) expressivity. For example, the feature of implicits has been used to model contextual abstraction, to express type-level computation, model type-classes, perform implicit coercions, encode extension methods, and many more. Learning from these use cases, Scala 3 takes a slightly different approach and focuses on intent rather than mechanism.

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.

Project for a coherent minimal set of tools, in a source code of small size using Pliant language (that focuses on pertinent indications, although allowing programmer's intervention at any level of abstraction and any general rule explicit breaking)

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.