Search Results for "lean"

A small portable C library to handle Apple Property List files in binary, XML, JSON, or OpenStep format.

...It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.

Jspreadsheet CE is a lightweight Vanilla JavaScript data grid plugin to create amazing web-based interactive HTML tables, and spreadsheets compatible data grid with other spreadsheet software. You can create an online spreadsheet table from a JS array, JSON, CSV or XSLX files. You can copy from excel and paste straight to your Jspreadsheet CE spreadsheet and vice versa. It is very easy to integrate any third party JavaScript plugins to create your own custom columns, custom editors, and...

tsup is a zero-config TypeScript/JavaScript bundler focused on developer speed and sensible defaults. It builds on extremely fast tooling under the hood to deliver near-instant feedback loops even in large monorepos. The design goal is to let you publish modern libraries without hand-crafting long build scripts: point it at an entry file and it emits multiple targets, formats, and type declarations. It handles common library needs out of the box—like generating both ESM and CJS, bundling...

A tiny, neat C library that portably invokes native file open, folder select, and save dialogs. Write dialog code once and have it pop up native dialogs on all supported platforms. Avoid linking large dependencies like wxWidgets and qt. Tested, works alongside libsdl on all platforms, for the game developers out there.

...Developers replace repetitive findViewById calls with BindView fields and define UI event handlers using annotations like @OnClick, with the library generating efficient binding code at compile time. Because it relies on annotation processing, there’s no reflection at runtime, keeping startup paths lean and predictable. The generated bind/unbind lifecycle helps avoid memory leaks by clearing references when views are destroyed. Butter Knife made UI code more readable and maintainable for years, especially in large codebases with complex layouts and many event hooks. While newer Android APIs now offer official view binding alternatives, the project remains a landmark example of how code generation can simplify everyday Android development.

A full-featured, lean set of date/ time classes to replace java.util's Date and Calendar. All objects are immutable/threadsafe, and allow formatting and various kinds of date math and range operations. Note that only GregorianCalendar is supported.

simplus is c++ library for constructing event driven simulations with a virtual time. Use it e.g. for telecomm., engineering, traffic simulations or simulation based games. It is lean, fast and portable and easily scales to millions of simulated objects.