146 projects for "education" with 2 filters applied:

  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • 1
    Lazarus

    Lazarus

    Rapid applications development tool and libraries for FPC

    The Lazarus IDE is a stable and feature rich visual programming environment for the FreePascal Compiler. It supports the creation of self-standing graphical and console applications and runs on Linux, FreeBSD, MacOSX and Windows.
    Leader badge
    Downloads: 15,343 This Week
    Last Update:
    See Project
  • 2
    Community Z Tools

    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
    Leader badge
    Downloads: 142 This Week
    Last Update:
    See Project
  • 3
    Lazarus Code and Component Repository
    Lazarus is a free and open source development tool for the Free Pascal Compiler. The purpose of this project is to serve as a Code Repository, Wiki Knowledgebase and support site for converting existing components and libraries to work with Lazarus and the Free Pascal Compiler.
    Leader badge
    Downloads: 173 This Week
    Last Update:
    See Project
  • 4
    GCBASIC
    GCBASIC is an open-source BASIC compiler for 8 bit Microchip PIC, Atmel AVR legacy, AVRDx and LGT microcontrollers. See https://ko-fi.com/post/The-Story-of-GCBASIC-Making-Microcontroller-Progr-D1D319SJ72 for story of GCBASIC. This is a continuous release project. The latest release is always available. This will give you the most complete development toolchain to create and program 8-bit PIC, AVR and LGT microcontrollers. We have added new capabilities that make GCBASIC the...
    Leader badge
    Downloads: 259 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    Java Modeling Language (JML)
    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6

    ELFIO

    A header-only C++ library for accessing files in ELF binary format

    ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format
    Downloads: 6 This Week
    Last Update:
    See Project
  • 7
    "Aubit 4GL" is a project to make GPL, OpenSource, Informix-4GL compatible compiler, and continue to extend functionality needed to write most efficient and productive business related, database oriented applications. See "Home Page" link for more.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 8
    jPicEdt

    jPicEdt

    Another drawing editor for LaTeX with PSTricks & TikZ

    jPicEdt is an extensible internationalized vector-based drawing editor for LaTeX and related packages (TikZ, PsTricks,...), written in Java. It is also a library of reusable high-level graphic primitives.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 9
    Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10
    Whole Platform
    The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
    Leader badge
    Downloads: 187 This Week
    Last Update:
    See Project
  • 11
    SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Scrolling Game Development Kit 2
    All-in-one program for creating 2D scrolling games. Compile your games into stand-alone .NET executables or customizable C# source code. The IDE and framework are build on OpenTK, which wraps OpenGL, so generated games can be cross-platform.
    Leader badge
    Downloads: 12 This Week
    Last Update:
    See Project
  • 14
    A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Hyacc is an efficient and practical Yacc/Bison-compatible full LR(1)/LALR(1)/LR(0) and partial LR(k) parser generator in ANSI C based on Knuth and Pager's LR(1) algorithms. Generated parser can be used in open-source or commercial software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    adms
    ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
    Leader badge
    Downloads: 35 This Week
    Last Update:
    See Project
  • 17

    yEdGen

    yEdGen can open a flow chart and generate ANSI C code from it.

    yEdGen can generate ANSI C code from a graphml file. You can use yEd Graph Editor, save your flow chart (following some yEdGen rules) in graphml and open it with yEdGen to generate ANSI C code. You can extend yEdGen to generate code for other language. This tool is student oriented.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    BARF is a language-agnostic engine for generating finite-automaton-based scanners and pushdown-automaton-based parsers. Targets (in any arbitrary language) are completely data-driven via text files -- no additional compilation is necessary.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    JTurboExplorer

    JTurboExplorer

    Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.

    It is a tool to help programmers to check your databases and generate code so easily. Lists the tables and views of databases, MySQL, Oracle and Sybase. Load Data from Excel 97-2003 files, exports the data from the table to Excel 97-2003 file. Generate Stored Procedures from table to insert, update, delete, query and paging. Generates code JSF2.0 (Action) and PrimeFaces (xhtml) from the table, code for Struts 1.3, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 21
    Jigy Generator Linux

    Jigy Generator Linux

    The best way to generate a Spring Java Web Application. It just works!

    The Jigy Generator is the simplest way to build and code a Java web application with a Spring Framework by using a project creation wizard and now it's been made even simpler by downloading a very small HTML file (337 bytes) and filling out a few form fields and let it construct your project with ease! The resulting project will be a Java web application with a Spring Framework configured to run in Eclipse or Netbeans. The project is annotation-based and provides dependency injection of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Jigy Generator OSX

    Jigy Generator OSX

    The best way to generate a Spring Java Web Application. It just works!

    The Jigy Generator is the simplest way to build and code a Java web application with a Spring Framework by using a project creation wizard and now it's been made even simpler by downloading a very small HTML file (337 bytes) and filling out a few form fields and let it construct your project with ease! The resulting project will be a Java web application with a Spring Framework configured to run in Eclipse or Netbeans. The project is annotation-based and provides dependency injection of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    JS/CC LALR(1) Parser Generator

    JS/CC LALR(1) Parser Generator

    A LALR(1) Parser Generator for JavaScript written in JavaScript

    JS/CC is a parser generator for JavaScript/ECMAScript, which is entirely written in ECMAScript itself. It produces LALR(1) parsers with integrated lexical analyzers. JS/CC can run as a website or be invoked from a console, and runs on several platforms.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24

    LiveCoder

    Interactive Environment for Coffee-Script, Jade and Stylus

    LiveCoder helps you to play with Coffee-Script ( Language that compiles to JavaScript) , Jade ( Popular Node.js Template Engine), and Stylus CSS pre-processor. This is not a IDE or any Development Environment, This just helps you to effectively learn these languages.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB