Search Results for "void-linux"
Sort By:
Showing 236 open source projects for "void-linux"
View related business solutions-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Linux command
Linux command encyclopedia search tool
Linux command encyclopedia search tool, the content includes Linux command manual, detailed explanation, study, and collection. The current warehouse has collected more than 570 Linux commands. It is a non-profit warehouse. It has generated a web site for easy use. Currently, the site does not have any advertisements. The content includes Linux command manuals, detailed explanations, and learning. -
2
Stellarium
GPL software which renders realistic skies in real time
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope. Stellarium is a free open source planetarium for your computer. It shows a realistic sky in 3D, just like what you see with the naked eye, binoculars or a telescope. Plugin system adding artifical satellites, ocular simulation, telescope control and more. ... -
3
Zotero
Tool to help you collect, organize, annotate, cite, and share research
Zotero is a powerful, free, open-source research management application designed to help students, academics, and professionals collect, organize, annotate, cite, and share research sources and materials for papers, projects, or books. It can save web pages, PDFs, books, articles, and more with metadata, automatically extract bibliographic information, and organize items into collections and tag systems, while supporting notes and annotations directly alongside references. Zotero’s interface... -
4
DeepSqueak
DeepSqueak Using Machine Vision to Accelerate Bioacoustics Research
Using Machine Vision to Accelerate Bioacoustics Research. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
JSONLab
JSONLab: compact, portable, robust JSON/binary-JSON encoder
JSONLab is a free and open-source JSON/UBJSON/MessagePack encoder and decoder written in the native MATLAB language. It can be used to convert a MATLAB data structure (array, struct, cell, struct array, cell array, and objects) into JSON/UBJSON/MessagePack formatted strings and files, or to parse a JSON/UBJSON/MessagePack file into MATLAB data structure. JSONLab supports nearly all versions of MATLAB and GNU Octave (a free MATLAB clone). The development of JSONLab is currently funded by the... -
6
Open Source Vizier
Python-based research interface for blackbox
Open Source (OSS) Vizier is a Python-based interface for blackbox optimization and research, based on Google’s original internal Vizier, one of the first hyperparameter tuning services designed to work at scale. Allows a user to setup an OSS Vizier Server, which can host black-box optimization algorithms to serve multiple clients simultaneously in a fault-tolerant manner to tune their objective functions. Defines abstractions and utilities for implementing new optimization algorithms for... -
7
Hacker Laws
Laws, theories, principles and patterns useful to developers
Laws, Theories, Principles and Patterns that developers will find useful. There are lots of laws which people discuss when talking about development. This repository is a reference and overview of some of the most common ones. Principles and laws to follow such as: If a program is made up of two parts, part A, which must be executed by a single processor, and part B, which can be parallelised, then we see that adding multiple processors to the system executing the program can only have a... -
8
ThingPulse ESP8266 Weather Station
ESP8266 Weather Station library supporting OpenWeatherMap
This code works best with the NodeMCU V2 ESP8266 module and an 0.96" OLED display. To get you up and running in no time we created a kit that contains all the necessary parts. By buying this and other kits from us you are funding the maintenance and development of this library. Make sure you use a version of the Arduino IDE which is supported by the ESP8266 platform. If you are using the PlatformIO environment for building, choose one of the available IDE integration or the Atom-based IDE,... -
9
Biblatex is a LaTeX package which provides full-featured bibliographic facilities
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
10
Hypernomicon
Hypertext-infused philosophy personal database software
Hypernomicon is a personal productivity/database application for researchers that combines structured note-taking, mind-mapping, management of files (e.g., PDFs) and folders, and reference management into an integrated environment that organizes all of the above into semantic networks or hierarchies in terms of debates, positions, arguments, labels, terminology/concepts, and user-defined keywords by means of database relations and automatically generated hyperlinks (hence ‘Hyper’ in the... -
11
CERCA
CERCA – Citation Extraction & Reference Checking Assistant
CERCA is an open-source research tool that supports the verification of bibliographic references in scientific manuscripts. It extracts references from PDF files and checks their existence and consistency against authoritative metadata sources, producing explainable diagnostics, audit logs, and reproducible reports. It is intended for: - Researchers performing final manuscript checks - Reviewers assessing reference consistency - Editors supporting editorial quality control -... -
12
KingJamesPureBibleSearch
GUI Application to Search and Count the Pure King James Bible
Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived... -
13
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
-
14
moebinv
C++ libraries for manipulations in non-Euclidean geometry
These are two C++ libraries for symbolic, numeric and graphical manipulations in non-Euclidean geometry. There is GUI which allows to interact with these libraries by mouse clicks. On a dipper level the first library Cycle implements basic operations on cycles (quadrics) through FSCc construction. The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the... -
15
libtdms
A C++ library for reading National Instruments TDMS files.
libtdms is a C++ library for reading National Instruments TDMS files (http://www.ni.com/white-paper/3727/en). -
16
WIKINDX
Virtual Research Environment / On-line Bibliography Manager
Reference management, bibliography management, citations and a whole lot more. Designed by academics for academics, under continuous development since 2003, and used by both individuals and major research institutions worldwide, WIKINDX is a Virtual Research Environment (an enhanced on-line bibliography manager) storing searchable references, notes, files, citations, ideas, and more. An integrated WYSIWYG word processor exports formatted articles to RTF and HTML. Plugins include a... -
17
xrayutilities
a package with useful scripts for X-ray diffraction physicists
xrayutilities is a python package used to analyze x-ray diffraction data. It can support with performing diffraction experiments and used for common steps in the data analysis. It can read experimental data from several data formats (spec, edf, xrdml, ...); convert them to reciprocal space for arbitrary goniometer geometries and different detector systems (point, linear as well as area detectors); for further processing the data can be gridded (transformed to a regular grid). More... -
18
Zettel
Zettel allows taking notes from several references and organizing them
Zettel is a program for taking notes from bibliographic references. Instead of marking the text on paper and then going crazy looking for where the copy ended up, the notes are saved in a database, linked to the reference from where they were copied. Notes can be tagged and retrieved in several ways. Zettel é um programa para fichamento de referências bibliográficas. Ao invés de marcar o texto em papel e depois enlouquecer procurando onde a cópia foi parar, as notas são guardadas numa... -
19
EasyCSP
Constraint Satisfaction Problem solving library for Java
EasyCSP is an open-source Java library for Constraint Satisfaction Programming. EasyCSP offers search algorithms for both CSPs and CSOPs. EasyCSP supports CSPs to be formalized using objects or int expressions. EasyCSP on GitHub: http://github.com/cordisvictor/easycsp-lib -
20
Academic Tech Toolbox
A collection of productivity tools for academic researchers.
A collection of productivity tools for academic researchers: RefTraceback: Found an article/thesis of interest? Want to know more by reading some of the sources referenced by the publication? This tool gives you the convenience of selecting a bunch of references at a time and looking them up in one go. Citation and reference checker: A tool for academics, students and, most of all, proofreaders. Helps identify wrong or missing references/citations in an academic text. Check it out... -
21
OpenSIMPLY
Discrete-event simulation modeling software for science and education
...Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA -
22
Libro
An interactive program for statistical analysis of texts
A cross-platform text analysis program written in Python and Free Pascal/Lazarus which scans a whole text file (in plain text, HTML, EPUB, or ODT formats) and ranks all used words according to frequency, performing a quantitative analysis of the text using Shannon-Weaver information statistic and Zipf power law function. It counts words, sentences, chars, spaces, and syllables. Also computes readability indexes (Gunning-Fog, Coleman-Liau, Automated Readability Index (ARI), SMOG grade,... -
23
Frevo
Frevo is probably the simplest tool for evolutionary design
FREVO is an open-source framework developed in Java to help engineers and scientists in evolutionary design or optimization tasks. The major feature of FREVO is the componentwise decomposition and separation of the key building blocks for each optimization tasks. We identify these as the problem definition, solution representation and the optimization method. This structure enables the components to be designed separately allowing the user to easily swap and evaluate different configurations... -
24
Multivariate Forex Calculus Robot
MQL4, MQL5, C++ Expert Advisor, Forex Calculus Robot.
Multivariate Calculus Robot is designed to analyze and work on every available Currency Pair. Calculus Robot Implements algorithms that govern their work. These algorithms detect some sort of "Waves" in the Forex Market. In Robot's Default Configuration, the Average Trade length is twelve hours. Take Profit delta is equal to the Stop Loss delta in every trade. That kind of trade operation is symmetrical, which means that if the BUY operation was a loss and then reversed it, the SELL... -
25
Fuzzy machine learning framework
A library and a GUI front-end for fuzzy machine learning
Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent...
