Search Results for "graphic design programs"

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

...It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT, StateT, WriterT, OptionT, and more) to structure effects. The library offers rich data structures—\/ (disjunction), Validation, NonEmptyList, IList, and Free—that help model errors, invariants, and interpretable programs. Its type class–oriented design lets you write generic algorithms over capabilities rather than concrete types, improving reuse and testability. Scalaz also contributes optics, equality/ordering abstractions, and lawful instances with property-based tests to ensure algebraic laws hold. While the Scala ecosystem now includes sibling projects, Scalaz remains a deep toolbox for principled FP in Scala and a reference point for category-theory-inspired design on the JVM.

Russh provides a Rust library for implementing SSH clients and servers with a modern, async-friendly design. It exposes building blocks for authentication, channel management, port forwarding, and key handling, allowing you to embed SSH functionality directly into Rust applications. The API is designed to be explicit and composable, making it possible to implement custom behaviors like reverse tunnels, interactive shells, and service multiplexing. Because performance and safety are central,...

Apollo-11 hosts the original Apollo 11 Guidance Computer (AGC) source code for the Command Module and Lunar Module, faithfully transcribed from historical listings. It is written in AGC assembly and reflects 1960s software engineering practices, complete with comments from the original programmers. The code is both a cultural artifact and a technical reference, illustrating how limited memory and processor constraints shaped algorithms and system design. Developers can examine navigation...

...It is particularly useful when dealing with data from YAML, TOML, JSON or other formats where the type can be uncertain. The design choice is to avoid guessing about conversions: e.g., only a string strictly representing an integer can convert to int. The library is mature, tested, and widely used—thus ideal for projects that must handle dynamic input gracefully.

Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state. Its design encourages small, reusable building blocks that compose cleanly, while still permitting low-level control where performance matters. ...

A header-only, C/C++ library that lets you transform an input image or video frame into printable ASCII characters in real-time using a single decision tree. ASCII Art is a single header, C/C++ library developed by PixLab and based on the work of Nenad Markus that let you transform an input image or video frame into printable ASCII characters at real-time using a single decision tree. Real-time performance is achieved by using pixel intensity comparison inside the internal nodes of the tree.

Odin is a map generator derived from map generation experiments for a video game called Crypts of Eldor; after requests to release the tool, a decision was made to release a map editor based on this code. Additionally, a Java API is provided so that the map generator can be integrated into new software.

Imgtools is a C extension to Tk, that provides functionality to modify Tk's photo images. Imgtools can scale images, rotate images and modify the alpha channel. For scaling and rotating three interplation methods are available: nearest neighbor, linear and bicubic (the Catmull - Rom flavor).

PHP class encapsulating manipulation with ICC profiles saved in JPEG images. Written in pure PHP without any 3rd party libraries and/or utilities.