Showing entries 1-30 out of 30.
Small tool to manage your installations of the Lean theorem prover
Design spring animations
Curate, or manage, your Elasticsearch indices and snapshots
Electric Sheep, a distributed screen saver for evolving artificial organisms
Easiest way to get started with Electron
ElectronMail is an Electron-based unofficial desktop client for ProtonMail
Sample and MIDI device manager
Periodic table on the command line
Group calls powered by Matrix
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
ELF visualizer, generates HTML files from ELF binaries
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
Parser generator which emits GLR parsers, either in OCaml or C++
Embedded Linux Library
Databases of elliptic curves
Finite element software for multiphysical problems
The systemd project's "logind", extracted to a standalone package
Eigenvalue Solvers for Petaflop-Applications
Interactive shell for the TCL programming language based on editline
Vi clone for Unix and other operating systems
Friendly and expressive command shell