Search Results for "education software"
Sort By:
Showing 1585 open source projects for "education software"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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
RINO Software
RINO generates random maths exercises for secondary school teachers.
RINO software is a resource for secondary school maths teachers. It is designed to create lists of maths exercices. It has been programmed using JAVA. Thus it is multi-platform. The output exercices are LaTeX files. It also has an option to provide PDF format. -
2
Interviews
Comprehensive computer science and interview preparation guide
Interviews is an open source repository designed as a comprehensive guide to preparing for technical interviews, with a strong focus on computer science fundamentals and algorithmic problem solving. Created by Kevin Naughton Jr., the project compiles detailed notes, explanations, and code implementations that cover core areas tested in software engineering interviews. The repository emphasizes topics such as data structures, algorithms, system design, operating systems, databases, and... -
3
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
4
Typing Guru
SUPORTS: Hindi, English, Nepali, Tamil, Punjabi, Urdu,Bengali,Marathi.
Web Version: https://typing-guru.com/ This software is developed on the view of beginners how they can increase typing speed. There is a step-by-step process to increase typing speed. This is available for Linux and windows both. Supports: Hindi Typing, English Typing, Nepali Typing, Tamil Typing, Punjabi Typing, Urdu Typing, Bengali Typing, Marathi Typing, Telugu Typing. More language will be added if you request in reviews. Tags: Typing Guru, typing tutor 6, Marathi... -
Full-stack observability with actually useful AI | 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.
-
5
Aplicación para sistemas Windows y Android sin fines de lucro, con el propósito de fomentar el estudio bíblico libre. El uso del código del programa está permitido conforme a las siguientes reglas: https://github.com/baruc78pro/Biblia-de-estudio 1.-Prohibido el uso para robo o mal manejo de datos Queda estrictamente prohibido utilizar el código con fines de robo, extracción o uso indebido de datos. Todos los datos deben ser almacenados de manera forzosa y exclusivamente en local, sin...
-
6
OmegaT - multiplatform CAT tool
The free computer aided translation (CAT) tool for professionals
OmegaT is a free and open source multiplatform Computer Assisted Translation tool with fuzzy matching, translation memory, keyword search, glossaries, and translation leveraging into updated projects. -
7
Interlocking system for modular model railroading. The goal is the development of hard- and software for an model interlocking interfacing on the one hand to the model railroad and on the other to the model of the userinterface of an real interlocking.
-
8
Linguistic Tree Constructor
Syntax tree editor for rapid annotation of existing text
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format. -
9
Eclipse 4diac
Eclipse 4diac the open source solution for industrial automation
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. Further information and the latest versions can be found here: https://eclipse.dev/4diac/ -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
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 -
11
winPenPack
The portable software collection
winPenPack is a project that aims at collecting the most frequently used and most popular open source applications made portable, so that they can be executed without installation from any USB Flash Drive or Hard Disk. The winPenPack suites offer a wide range of portable applications like office tools, internet tools, multimedia tools, development tools, security applications and other frequently used utilities. Everything you need, completely free, open source and portable! -
12
Java·Applied·Geodesy·3D
Least-Squares Adjustment Software for Geodetic Sciences
JAG3D is no longer developed at source-forge, and has moved to GitHub. Please visit https://github.com/applied-geodesy/jag3d or https://software.applied-geodesy.org to get the latest version. -
13
Grassroots DICOM
Cross-platform DICOM implementation
Grassroots DiCoM is a C++ library for DICOM medical files. It is accessible from Python, C#, Java and PHP. It supports RAW, JPEG, JPEG 2000, JPEG-LS, RLE and deflated transfer syntax. It comes with a super fast scanner implementation to quickly scan hundreds of DICOM files. It supports SCU network operations (C-ECHO, C-FIND, C-STORE, C-MOVE). PS 3.3 & 3.6 are distributed as XML files. It also provides PS 3.15 certificates and password based mecanism to anonymize and de-identify DICOM datasets. -
14
Anti-Plagiarism - software designed to effectively detect and thereby prevent plagiarism. It is a versatile tool to deal with World Wide Web copy-pasting information from the assignment of authorship. The goal of this program is to help reduce the impact of plagiarism on education and educational institutions. Checking documents in a format *.rtf, *.doc, *.docx, *.pdf Check the source code C, C++, C#, Java, ...
-
15
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
16
Open Beam Profiler
Profiling and analysis of laser beams with ImageJ
This open-source software enables profiling and analysis of laser beams. It can be used with a variety of cameras supported by ImageJ and Micro-Manager, or images from any other source. It provides all common analysis methods like D4Sigma, knife-edge, as well as fitting of Hermite-Gauss, Laguerre-Gauss and super-Gauss functions. -
17
ecl1
Provides a toolset for developing HISinOne extensions
ecl1 is a set of tools, implemented as Eclipse plugin, that supports the creation of HISinOne extensions. It adds support for creating a new HISinOne Extension and special checkers for the enrollment of lectures. -
18
YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).
-
19
The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
-
20
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... -
21
AlgoSim
AlgoSim : création, analyse et exécution des algorithmes
AlgoSim un Logiciel de création, analyse, simulation et exécution des algorithmes. Il ne nécessite aucun apprentissage de langage de programmation. Ce logiciel n'utilise pas un éditeur de texte comme les logiciels classiques de programmation. Ce logiciel peut être utilisé par des débutants pour apprendre la programmation et exercer leurs connaissances. Il peut être utilisé par des professionnel pour tester leurs algorithmes, les vérifier et générer des programme présentables (pseudo-code ou... -
22
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
23
EulerSharp
Euler Yet another proof Engine
EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm -
24
YehDown
Yeahdown: Easy-to-use video downloader for Windows
Yeahdown is a straightforward, user-friendly Windows-based application designed to simplify the process of downloading videos and audio from popular websites like YouTube and Vimeo. Perfect for non-technical users, it offers an intuitive interface and fast, reliable downloads. Key features include improved download speeds, support for multiple major video platforms, and real-time updates for new features. Tested on windows 11. -
25
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for managing truth tables and supports diverse file formats for import and export.
