Search Results for "gnu linux" - Page 8
Sort By:
Showing 2809 open source projects for "gnu linux"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
This program is provided to allow the easy memorization of prayers in Latin for Traditionalist Catholics. It has a quiz mode and a mode that allows the entire prayer to be
-
3
Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
-
4
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Gibbon
An open source school platform built by teachers for teachers
Created by teachers, Gibbon is the school platform which solves real problems encountered by educators every day. Being free, open source and flexible Gibbon can morph to meet the needs of a huge range of schools. Download Gibbon at https://gibbonedu.org/download. -
6
Portable SLiMS
This project is for Portable SLiMS.
Portable SLiMS is a way to make SLiMS being use without any hassle. Within portable SLiMS, you already have apache as the web server app, mariadb as database app, including php as the emulator for programming language. Our motto is "extract and go!". -
7
EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
-
8
Java generic API for search algorithms on graphs implicitly given by tree node expansion operator
-
9
Studierplatz
Studierplatz2000 and related tools
Learning environment tools developed by TU Dresden, Institute of teaching and learning. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
Freebasic Beginners Guide
An updated Beginners guide to FreeBASIC
The purpose of this project is to create and update a beginners guide to FreeBASIC. Over the years I have noticed that there was only three real ways to learn FreeBASIC. The FreeBASIC Documentation, the FreeBASIC Community Forum, and A old beginners guide written by Richard D. Clark and Ebben Feagan. Each of these sources are great, but they all assume some experience with a programming language. This Project is taking Richard D. Clark's and Ebben Feagan's "A Beginner's Guide to... -
11
PSKoans
A simple, fun, and interactive way to learn the PowerShell language
PSKoans is an interactive, educational PowerShell module that teaches core PowerShell concepts via Pester test-driven “koans” (small exercises that initially fail and must be fixed). Designed for beginners to learn PowerShell through hands‑on problem solving, it guides users through basic syntax, data structures, and automation tasks. -
12
LibreGrammar (LanguageTool fork)
Free and open-source style and grammar editor
This is a free and open-source style and grammar checker forked from Languagetool. This project intends to be a full-blown software editor for French, English, German, Spanish, Portuguese and many other languages that enhances LanguageTool with extended rules — with emphasis on style rules —, and enables many rules disabled by default on LanguageTool project. Other changes include lower reliance on online mechanisms and extra languages. --- Este é um verificador de gramática e... -
13
The Player Project: Player is a networked interface to robots and sensors. Stage and Gazebo are Player-friendly multiple-robot simulators. The software aims for POSIX compliance and runs on most UNIX-like OS's. Some parts also work on Windows.
-
14
Jacksum
a free cross platform checksum utility, supports 58+ hash algorithms
Development of this project has been moved to https://github.com/jonelo/jacksum. This site has been left for historical purposes ONLY, you find older Jacksum versions here. Please visit the GitHub site for current development. Jacksum 1.7.0 is a platform independent checksum utility (written entirely in Java) for computing and verifying (integrity check) checksums, CRC and hashes (fingerprints). It supports 58 popular hash algorithms and a lot of unique features. -
15
Olam English Malayalam Dictionary
Unofficial Offline version of olam english malayalam dictionary
-
16
The web-based software is built as a drupal module, and is intended as a format in which large numbers of users can come to consensus group decisions. It offers the opportunity for a new kind of citizen-based politics to emerge.
-
17
SimpleAnnotator
A simple tool to annotate a text.
This tool allows the user to annotate by coloring portions of the text. This can be seen as a simple model of annotation. This tool has been built to complete particular experimentation on student behavior (annotation per example) facing particularly difficult content. We put it here as an open-source project. -
18
The most recent distribution of MyOpenLab can be downloaded from: myopenlab.org Follow us on Facebook as MyOpenLab Colombia https://www.facebook.com/myopenlabcolombia/ Subscribe, like and watch our MyOpenLab videos: https://www.youtube.com/channel/UCet6UPnaHKGjtbytJHIf2jQ Thanks!
-
19
Artha is a handy thesaurus based on WordNet with distinct features like global hotkey look-up, passive desktop notifications, regular expression based search, etc.. Artha may be used as a free open-source replacement to the proprietary WordWeb Pro.
-
20
The application "WiSim" is an interactive business game written in Java. It simulates the task scope and the complex processes of a hub producing company. Features are the simulation of production, sale, purchase and customer / supplier administration.
-
21
Provides a GUI interface to grammatical structure and relations (as parsed by the Stanford Parser) of any text.Contains grammatical relation editor to modify, import, export grammatical relation definitions (tregex patterns and features).
-
22
intelligent thinking system solving
An approach where computer solves problems like a human brain does;
The intelligent, thinking systems solving project uses a method whereby the computer solves the problem in a way a biological way does. The result of this is that it can learn and emulate a behavior or strategy. Two examples of the process use the game of chess and the game of go. -
23
Student rating web tool initially developped by ENSFEA Team ( http://www.ensfea.fr ) . Rating can be OK or NOT OK, or value between 0 and 5 (or more). Authentication can be locally (mysql), ldap or CAS. Code integrated : http://htmlarea.sourceforge.net https://github.com/antennaio/jquery-bar-rating http://esup-phpcas.sourceforge.net https://tcpdf.org
-
24
JStencilReport
A tool for write student evaluations
JStencilReport (or Java Stencil Report) is designed to write student evaluations and school report, in a fast way by a set of user-inserted sentences. It has a small vector graphics editor to create a full customizable print model that allow to print or export in PDF and Post Script your report. It allow also to export form in CSV format. -
25
Flip card learning program for iPhone with a spaced learning algorithm. Create your own databases and edit the cards directly on the iPhone. Import Palm databases or csv-formatted files and backup your data with our Java application.
