The RAR decompression program. It is nonfree (as in freedom), but open-source.

The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained by applying formal methods to source programs.

The main result of the project is the CompCert C verified compiler, a high-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.

View and Manage analytics, logs, and access control gateways for a Datomic Cloud instance on AWS.

Dyalog APL is de facto the most widely deployed dialect of APL in the wild. The interpreter boasts world-class performance benchmarks, excellent tooling integration, and support for modern APL features.

This is the Libretro port of Genesis Plus GX, a SG-1000, Mark-III, Master System (I & II), Game Gear, Genesis/Mega Drive and Sega/Mega CD emulator. It was originally based on Genesis Plus, from which it improves emulation accuracy and adds support for new peripherals, cartridges and features such as:

• NTSC (60Hz) and PAL (50Hz) video hardware emulation

• accurate 68000, Z80 CPU emulation and synchronization

• accurate VDP emulation and timings

• sample-accurate YM2612,YM2413, SN76489 and RF5C164 PCM sound chips emulation

• cycle-accurate sound chips synchronization with 68000/Z80 CPU

• cycle-accurate 68000 and Z80 CPU synchronization

• optimized Main-CPU / Sub-CPU synchronization (Sega/Mega CD)

• accurate CDD, CDC and GFX chip emulation (Sega/Mega CD)

• accurate CD-DA fader emulation (Sega/Mega CD)

• Mode 1 cartridge support (Sega/Mega CD)

• Audio CD and CD+G support (Sega/Mega CD)

• high-quality audio resampling using Blip Buffer

• basic hardware latency emulation (VDP/68k, Z80/68k)

• full overscan area emulation (horizontal and vertical color borders)

DGen isn't the best Mega Drive/Genesis emulator out there, but it works and it's probably the most portable. It's one of the few that's x86_64 compatible. It's also perfect for command line freaks.

Firmware for the FacetimeHD webcam. See patjak's facetimehd wiki for more information.

Calibration files for the FacetimeHD webcam. These are optional but make the colors look much better. See patjak's facetimehd wiki for more information.

This package provides binary firmware for the ANX7688 HDMI to USB Type-C Bridge in the PinePhone.

This package provides firmware for Broadcom BCM203x and STLC2300 Bluetooth chips.

This package provides binary firmware for the RTL8723BS/CS WiFi/Bluetooth chip in the PinePhone.

This package aims to make updating firmware on GNU/Linux automatic, safe and reliable. It is used by tools such as GNOME Software.

This package provides binary firmware for the 0V5640 sensor in the PinePhone.

This package provides Firmware for the wifi/bt module AP6256, found in Pinebook Pro.

This package provides Times New Roman font from the pack of Microsoft core fonts for the web.

With over 5,000 symbols, SF Symbols is a library of iconography designed to integrate seamlessly with San Francisco, the system font for Apple platforms. Symbols come in nine weights and three scales, and automatically align with text labels.

This package provides Trebuchet MS font from the pack of Microsoft core fonts for the web.

This package provides Webdings font from the pack of Microsoft core fonts for the web.

An Apple system font intended to provide coverage for characters defined as symbols in the Unicode Standard.

This package provides Georgia font from the pack of Microsoft core fonts for the web.

This package provides Arial Black font from the pack of Microsoft core fonts for the web.

Font Awesome is a full suite of pictographic icons for easy scalable vector graphics.

This package provides Courier New font from the pack of Microsoft core fonts for the web.

This monospaced variant of San Francisco enables alignment between rows and columns of text, and is used in coding environments like Xcode. SF Mono features six weights and supports Latin, Greek, and Cyrillic scripts.