59 projects for "design" with 2 filters applied:

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • $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
  • 1
    U++

    U++

    C++ framework with an ide.

    U++ is BSD licensed C++ cross-platform rapid application development framework focused on programmers productivity without sacrificing runtime performance. Based on strictly deterministic design it provides an alternative to GC collected platforms.
    Leader badge
    Downloads: 79 This Week
    Last Update:
    See Project
  • 2
    An assembler for the Xilinx Picoblaze soft processor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Java Modeling Language (JML)
    ...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 binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    gputils is a collection of tools for Microchip PIC microcontrollers. Its goal is to be fully compatible with Microchip's tools, MPASM, MPLINK, and MPLIB.
    Leader badge
    Downloads: 91 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, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 5
    MyJIT is a small library allowing to (JIT) compile intermediate language into the machine code and subsequently execute it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    FOML
    ...It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    ...MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello, world!"]} Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    APTOS is an open source Apt translator project. It consists of several CAM applications, based on the Apt programming language. It is used to create control programs for cnc mills, lathes, water jets, lasers, and other industrial equipment.
    Leader badge
    Downloads: 8 This Week
    Last Update:
    See Project
  • 9
    chibicc

    chibicc

    A small C compiler

    chibicc is a small yet highly capable C compiler designed to implement most features of the C11 standard while maintaining a clean and educational codebase. It is intended as both a functional compiler and a learning resource, allowing developers to understand how compilers work by reading and studying its implementation. Despite being categorized as a “toy” compiler, it is powerful enough to compile real-world programs such as Git, SQLite, and libpng without modification. The project is...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | 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
  • 10
    EiffelStudio
    ...If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and your thought processes with EiffelStudio. When ready to design, you build upon the model you just created, still with EiffelStudio. Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. Roundtrip engineering? It’s built in by design. Testing, metrics and productivity tools? ...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 11
    Convert C++ software programs into synthesisable Verilog using the Clang compiler frontend to parse and SystemC for intermediates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Chapel

    Chapel

    a Productive Parallel Programming Language

    Chapel is an emerging parallel programming language whose design and development are being led by HPE in collaboration with academia, computing labs, and industry. Chapel's goal is to improve the productivity of parallel programmers, from laptops to supercomputers. **Please note that Chapel development has moved to GitHub**
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Project 2306 IDE Rad MacOS MCU DeveR

    Project 2306 IDE Rad MacOS MCU DeveR

    Electronic design and programming tools suite like Eagle, MpLab

    ...All others platform Windows, Linux, HaikuOS STILL under TEST, Dummy "Hello world" is provided instead Project2306 IDE : Application pour la programmation de Microcontroleurs et d' Application Electronique Project2306 IDE : for All whom want to Create and Develop on Embed Platform Software as Programming Tools suite and PCB Design Planned Features : Similar with mainstream market tools IDE and GUI Wrapper like : LabView©, Proteus©, MPLab©, Eagle CAD©, Tools Suite for Most Market Microcontroller. Tools suite for Arduino, Pinguino, Pic, AVR, ARM, Basic Stamp, Risc, other platform Fully Integrated IDE. Adobe PDF Help section SQL Connectivity Community Avail : https://www.facebook.com/Project-Core-2306-Nextgen-Eda-pcbradide-for-Mcumacoslinuxwindows-138250749681138/?...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    The Ptolemy Language
    Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 16
    MiniLisp

    MiniLisp

    A readable lisp in less than 1k lines of C

    MiniLisp is a compact Lisp interpreter implemented in fewer than one thousand lines of C, designed to demonstrate the core principles of Lisp and interpreter design in a highly readable format. The interpreter evaluates expressions in a traditional read-eval-print loop, allowing users to input Lisp code and immediately see the results. Despite its small size, it supports a wide range of language features, including integers, symbols, lists, closures, macros, and garbage collection. The project emphasizes clarity and educational value, with well-commented code that explains how each feature is implemented. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    PHDL

    PHDL

    An HDL alternative to PCB graphical schematic capture tools.

    ...VHDL revolutionized how FPGA designs and digital logic circuits have been designed and captured and overcame many of the difficulties associated with the use of schematic editing tools. We believe the use of an HDL is also the way of the future when it comes to PCB design. The PHDL compiler automatically supports the output of PADS and Eagle netlists, and through extending a simple java class, users can generate a netlist in practically any format required by their choice of a layout tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    CoffeeScriptRedux

    CoffeeScriptRedux

    Rewrite of the CoffeeScript compiler with proper compiler design

    CoffeeScriptRedux is a rewritten version of the CoffeeScript compiler with emphasis on compiler design principles, robustness, and extensibility—designed to be "complete enough to use for nearly every project." Before transitioning from Jeremy's compiler, see the intentional deviations from jashkenas/coffee-script wiki page. Complete enough to use for nearly every project. Proper compiler design principles and a focus on robustness and extensibility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    Wittgen

    WIttgen is a two-instruction programming language modeled on the mind.

    ...In the course of performing that assign any retrieve operations indicated in the text are performed before committing the assign. That is all there the system does. The driving motivation for this design is that as far as we know, the human mind supports these two instructions.It may have additional mechanisms that create new assigns, but using the results of these mechanisms requires a system built from these instructions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Co-op Composition Workbench
    Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Stampede contains all elements of a design environment for the Stamp microcontroller. It supports compilation, downloading, and full two-way communication with the Stamp. Additionally, it allows the Stamp to write text and binary files on the host.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    The Clump language proposes a natural evolution of the basic Object-Oriented paradigm revisiting the duality existing between the data and the knowledge. This implies a design based on Class-Oriented and Pattern-Oriented approaches in a same language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Generate parsers with ease, using a graphical user interface, or console. Design your parsers graphically or by using standard regular expressions and BNF syntax similar to lex/yacc. Generated parsers can be in C or C++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Mixed Analog/Digital Simulator framework - parser and elaborator for Verilog and Verilog-AMS, and an extended C++ (ParC - http://parallel.cc) to be used as the simulation engine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB