The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more
Search Results for: essential system tools
D3 – JavaScript library for bespoke data visualization
D3 (or D3.js) is a JavaScript library for visualizing data. Its low-level approach is built on web standards offers unparalleled flexibility.
Read more
Best Free and Open Source Software: May 2024 Updates
May 2024 updates to the largest compilation of recommended free and open source software available for Linux.
Read more
Graph3d – interactive visualization chart
Graph3d is an interactive visualization chart to draw data in a three dimensional graph. Graph3d uses HTML canvas to render graphs
Read more
Kevlar – static site generator
Kevlar is a very simple and fast static site generator.It’s batteries-included and zero-dependency.
Read more
Nova – web framework for Erlang
Nova makes it simple to build a fault-tolerant and distributed web application.
Read more
Kando – pie menu to launch applications, simulate hotkeys, open URLs
Kando is a highly customizable pie menu for the desktop which allows you to create your own menus and actions.
Read more
Koia – web application for visualizing and analyzing table-like data structures
Koia is an angular-based, a privacy-focused open-source web application for visualizing and analyzing table-like data structures.
Read more
Leaflet – JavaScript library for mobile-friendly interactive maps
Leaflet is a hugely popular JavaScript library for mobile-friendly interactive maps.
Read more
Pretzel – fork of Jupyter
Pretzel is billed as a modern replacement for Jupyter Notebooks.
Read more
rough – GTK based app launcher
rough is a GTK based application launcher. This is free and open source software.
Read more
RAWGraphs – web-based tool for data visualization
RAWGraphs is a data visualization framework built with the goal of making the visual representation of complex data easy.
Read more
Best Free and Open Source Alternatives to Apple QuickTime Player
QuickTime Player is a multimedia player which handles a wide range of picture, video, audio, and panoramic image formats.
Read more
rlaunch – modern application launcher
rlaunch is a fast, lightweight and modern application launcher for X11.
Read more
FrankenPHP – modern app server for PHP
FrankenPHP is a modern application server for PHP built on top of the Caddy web server.
Read more
Kresus – personal finance management
Kresus is personal management software which runs on a server.
Read more
OpenMoneyBox – budget management
OpenMoneyBox is an application designed to manage small personal budgets in the easiest way.
Read more
Onagre – general purpose application launcher
Onagre is a general purpose application launcher for X and Wayland inspired by rofi/wofi and alfred.
Read more
gucharmap – character map
GNOME Character Map (gucharmap) is a Unicode character map. This software allows characters to be displayed by unicode block or script type.
Read more
Marvin – app launcher
Marvin is an application launcher and much more. The program uses different modules to provide different functionalities.
Read more