Showing entries 4501-4600 out of 21173.
Fixpoint reasoning system that unifies Datalog and equality saturation
Fast genome-wide functional annotation through orthology assignment
EGLStream-based Wayland external platform
EGL External Platform interface
Run Linux desktop applications under a different local user
Graphical editor for ACLs and extended attributes
Belgian electronic identity card (eID) middleware
Single TUI-based registry for drm-free, wine and steam games on linux, accessed through a rofi lau…
C++ template library for linear algebra: vectors, matrices, and related algorithms
C++ template library for linear algebra: vectors, matrices, and related algorithms
Utility that manages core operator functionalities like local keys, operator registration and upda…
Computer algebra system written in C
Fastest Random Distribution Generator for Eigen
A calendar for Stuttgart, showing events, groups and places
C++ reimplementation of eiquadprog
Cross-platform program that uses the Direct Connect and ADC protocols
Fork of iwd (wifi daemon) which does not require dbus
Open-source XMPP application server written in Erlang
Embedded JavaScript templates
Small library to manage encrypted secrets using asymmetric encryption
Decrypt EJSON secrets and export them as environment variables
Integrates EJSON with AWS KMS
Build system ("make" in reverse)
Chinese text-to-speech software
Automated first-order theorem prover
Tool to visualize dynamic node usage within a cluster
CLI for Amazon EKS
Small tool to manage your installations of the Lean theorem prover
Design spring animations
Message queueing system with Java, Scala and Amazon SQS-compatible interfaces
Open Source, Distributed, RESTful Search Engine
Curate, or manage, your Elasticsearch indices and snapshots
Elasticsearch stats exporter for Prometheus
Image registration toolkit based on ITK
Electric Sheep, a distributed screen saver for evolving artificial organisms
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Cross platform desktop application shell
Simple extensive tar-like archive format with indexing
Bitcoin Cash SPV Wallet
WebDriver server for running Selenium tests on Chrome
WebDriver server for running Selenium tests on Chrome
WebDriver server for running Selenium tests on Chrome
WebDriver server for running Selenium tests on Chrome
Easiest way to get started with Electron
ElectronMail is an Electron-based unofficial desktop client for ProtonMail
Electron based web video services player
Efficient re-implementation of Electrum Server in Rust
Lightweight Bitcoin wallet
Lightweight Groestlcoin wallet
Lightweight Litecoin Client
Sleek and stylish SDDM theme crafted in QML
Sample and MIDI device manager
Periodic table on the command line
Group calls powered by Matrix
A feature-rich client for Matrix.org
Glossy Matrix collaboration client for the web
Glossy Matrix collaboration client for the web
Elementary icons for Xfce and other GTK desktops like GNOME
Open Source implementation of advanced blockchain features extending the Bitcoin protocol
Open Source implementation of advanced blockchain features extending the Bitcoin protocol
Open Source implementation of advanced blockchain features extending the Bitcoin protocol
Tools for inspecting, analyzing and optimizing ELF files
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
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
Full-featured text-mode web browser
Render Eliot logs as an ASCII tree
Simple media player for KDE
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
Functional, meta-programming aware language built on top of the Erlang VM
A frontend-independent IDE "smartness" server for Elixir
A frontend-independent IDE "smartness" server for Elixir
Parser generator which emits GLR parsers, either in OCaml or C++
Embedded Linux Library
Databases of elliptic curves