Showing entries 1-44 out of 44.
Small tool to manage your installations of the Lean theorem prover
Design spring animations
Curate, or manage, your Elasticsearch indices and snapshots
Image registration toolkit based on ITK
Electric Sheep, a distributed screen saver for evolving artificial organisms
Bitcoin Cash SPV Wallet
Easiest way to get started with Electron
ElectronMail is an Electron-based unofficial desktop client for ProtonMail
Efficient re-implementation of Electrum Server in Rust
Sample and MIDI device manager
Periodic table on the command line
Group calls powered by Matrix
A feature-rich client for Matrix.org
element-webelement-web
Glossy Matrix collaboration client for the web
element-webelement-web-unwrapped
Glossy Matrix collaboration client for the web
Elementary icons for Xfce and other GTK desktops like GNOME
Datastructures of ELF according to the target platform's libc
Inspect and dissect an ELF file with pretty formatting
Integrate micronucleus into the cargo buildsystem, flash an AVR firmware from an elf file
Convert ELF files to UF2 for USB Flashing Bootloaders
ELF visualizer, generates HTML files from ELF binaries
elfdepselfdeps
Python implementation of RPM elfdeps
Python implementation of RPM elfdeps
Python implementation of RPM elfdeps
Small utility for showing information about ELF files
Header-only C++ library for reading and generating files in the ELF binary format
Collection of programs that access and manipulate ELF files
Set of utilities to handle ELF objects
Decode x86 binaries and print out which instruction set extensions they use
Translator Construction Made Easy
Render Eliot logs as an ASCII tree
C++ simulation of Joseph Weizenbaum’s 1966 ELIZA
Parser generator which emits GLR parsers, either in OCaml or C++
Embedded Linux Library
Databases of elliptic curves
A production-ready framework for building Elm applications
Finite element software for multiphysical problems
The systemd project's "logind", extracted to a standalone package
Proofreading software for English, Spanish, French, German, and more than 20 other languages
Eigenvalue Solvers for Petaflop-Applications
Interactive shell for the TCL programming language based on editline
Simple CLI to help you with setting up and managing your Eludris instance
Vi clone for Unix and other operating systems
Friendly and expressive command shell