239 projects for "efi c compiler" with 1 filter applied:

  • Run applications fast and securely in a fully managed environment Icon
    Run applications fast and securely in a fully managed environment

    Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of Google's scalable infrastructure.

    Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
    Try for free
  • Next-generation security awareness training. Built for AI email phishing, vishing, smishing, and deepfakes. Icon
    Next-generation security awareness training. Built for AI email phishing, vishing, smishing, and deepfakes.

    Track your GenAI risk, run multichannel deepfake simulations, and engage employees with incredible security training.

    Assess how your company's digital footprint can be leveraged by cybercriminals. Identify the most at-risk individuals using thousands of public data points and take steps to proactively defend them.
    Learn More
  • 1
    Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.
    Leader badge
    Downloads: 1,670 This Week
    Last Update:
    See Project
  • 2
    C-ARES

    C-ARES

    A C library for asynchronous DNS requests

    This is C-ARES, an asynchronous resolver library. It is intended for applications that need to perform DNS queries without blocking, or need to perform multiple DNS queries in parallel. The primary examples of such applications are servers that communicate with multiple clients and programs with graphical user interfaces. The full source code is available in the 'C-ARES' release archives.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    BCC (BPF Compiler Collection)

    BCC (BPF Compiler Collection)

    Tools for BPF-based Linux IO analysis, networking, monitoring, etc.

    BCC is a toolkit that simplifies creating efficient kernel tracing, monitoring, and manipulation programs by leveraging extended Berkeley Packet Filters (eBPF). It includes a rich set of example tools and scripting interfaces in C, Python, and Lua. BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. It is suited for many tasks, including performance analysis and network traffic control. With a BPF-specific frontend, one should be able to write in a language and receive feedback from the compiler on the validity as it pertains to a BPF backend. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Ventoy

    Ventoy

    A New Bootable USB Solution

    Ventoy is an open source tool to create bootable USB drive for ISO/WIM/IMG/VHD(x)/EFI files. With Ventoy, you don't need to format the disk over and over, you just need to copy the ISO/WIM/IMG/VHD(x)/EFI files to the USB drive and boot them directly. You can copy many files at a time and Ventoy will give you a boot menu to select them. You can also browse ISO/WIM/IMG/VHD(x)/EFI files in local disks and boot them. x86 Legacy BIOS, IA32 UEFI, x86_64 UEFI, ARM64 UEFI and MIPS64EL...
    Leader badge
    Downloads: 205,948 This Week
    Last Update:
    See Project
  • eMaint is an award-winning Computerized Maintenance Management Software (CMMS) for managing work orders, PM schedules, and parts inventory. Icon
    eMaint is an award-winning Computerized Maintenance Management Software (CMMS) for managing work orders, PM schedules, and parts inventory.

    50,000+ users worldwide rely on eMaint to predict failures, eliminate downtime, and improve reliability

    eMaint is an award-winning, cloud-based Computerized Maintenance Management System (CMMS) software designed to improve how organizations manage their maintenance reliability operations, resources, equipment, and compliance. Suitable for any size organization or enterprise, eMaint saves companies valuable time and money by integrating the tools they need in one powerful platform.
    Try it for free
  • 5
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to...
    Downloads: 27 This Week
    Last Update:
    See Project
  • 6
    XLS

    XLS

    XLS: Accelerated HW Synthesis

    XLS is an open-source toolkit for building high-level hardware with a modern compiler stack that spans from a functional DSL to optimized IR and hardware generation. At the front end, DSLX lets you describe algorithms with strong typing and familiar control flow while remaining synthesis-friendly. The compiler lowers DSLX into a rich intermediate representation, applies aggressive optimization and scheduling passes, and can either JIT the design for software simulation or emit Verilog for...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    mruby

    mruby

    Lightweight Ruby

    ...It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. One of its core strengths is its embeddability, allowing developers to integrate scripting capabilities directly into applications written in C or C++. mruby also includes a package system called mrbgems, which enables modular extension of functionality through additional libraries. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    ESP-IDF

    ESP-IDF

    Espressif IoT Development Framework

    ESP-IDF (Espressif IoT Development Framework) is the official, open-source development framework for programming Espressif SoCs (such as ESP32, ESP32‑S2, ESP32‑C3 series). It provides toolchains, APIs, components, sample code, and workflows for building embedded IoT firmware, offering support for Wi‑Fi, Bluetooth, power management, and peripheral integration. As well as the esp-idf-template project mentioned in Getting Started, ESP-IDF comes with some example projects in the examples...
    Downloads: 55 This Week
    Last Update:
    See Project
  • 9
    FunctionalPlus

    FunctionalPlus

    Functional Programming Library for C++

    Great code should mostly be self-documenting, but while using C++ in reality you can find yourself dealing with low-level stuff like iterators or hand-written loops that distract from the actual essence of your code. FunctionalPlus is a small header-only library supporting you in reducing code noise and in dealing with only one single level of abstraction at a time. By increasing brevity and maintainability of your code it can improve productivity (and fun!) in the long run. It pursues these...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Online Project Management Platform - Zoho Icon
    Online Project Management Platform - Zoho

    A plan put together with small businesses and startups in mind.

    Zoho Projects is a cloud-based project management solution that helps teams plan, track, collaborate, and achieve project goals.
    Learn More
  • 10
    Honggfuzz

    Honggfuzz

    Security oriented software fuzzer

    honggfuzz is a general-purpose, high-performance fuzzer that mixes coverage feedback with practical crash triage to uncover memory-safety and logic bugs. It supports multiple fuzzing modes—stdin, file, and networking—so targets can be exercised the same way they run in production. Instrumentation via compiler hooks or hardware/perf counters guides mutations toward previously unseen edges, while persistent mode keeps the target process alive to amortize startup costs. The tool integrates...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Numba CUDA Target

    Numba CUDA Target

    The CUDA target for Numba

    Numba CUDA Target is NVIDIA’s maintained CUDA backend for the Numba JIT compiler, enabling developers to write GPU-accelerated code directly in Python. It allows users to define CUDA kernels using Python syntax, which are then compiled into efficient GPU code at runtime using LLVM-based toolchains. This approach significantly lowers the barrier to entry for GPU programming by eliminating the need to write CUDA C++ while still delivering high performance.
    Downloads: 23 This Week
    Last Update:
    See Project
  • 12
    GoNB

    GoNB

    GoNB, a Go Notebook Kernel for Jupyter

    Go is a compiled language, but with very fast compilation, that allows one to use it in a REPL (Read-Eval-Print-Loop) fashion, by inserting a "Compile" step in the middle of the loop -- so it's a Read-Compile-Run-Print-Loop — while still feeling very interactive. GoNB leverages that compilation speed to implement a full-featured (at least it's getting there) Jupyter notebook kernel. As a side benefit it works with packages that use CGO — although it won't parse C code in the cells, so it...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13
    ChrysaLisp

    ChrysaLisp

    Parallel OS, with GUI, Terminal, OO Assembler, Class libraries

    ChrysaLisp is a 64-bit, MIMD, multi-CPU, multi-threaded, multi-core, multi-user parallel operating system with features such as a GUI, terminal, OO Assembler, class libraries, C-Script compiler, Lisp interpreter, debugger, profiler, vector font engine, and more. It supports MacOS, Windows, and Linux for x64, Riscv64, and Arm64 and eventually will move to bare metal. It also allows the modeling of various network topologies and the use of ChrysaLib hub nodes to join heterogeneous host networks. It has a virtual CPU instruction set and a powerful object and class system for the assembler and high-level languages. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    GnuCOBOL

    GnuCOBOL

    A free COBOL compiler

    GnuCOBOL (formerly OpenCOBOL) is a free, modern COBOL compiler. GnuCOBOL implements a substantial part of the COBOL 85, X/Open COBOL and newer ISO COBOL standards (2002, 2014, 2023), as well as many extensions included in other COBOL compilers (IBM COBOL, MicroFocus COBOL, ACUCOBOL-GT and others). GnuCOBOL translates COBOL into C and internally compiles the translated code using a native C compiler.
    Leader badge
    Downloads: 1,459 This Week
    Last Update:
    See Project
  • 15
    Code::Blocks

    Code::Blocks

    A free C, C++ and Fortran IDE

    Code::Blocks is a free, open-source, cross-platform C, C++ and Fortran IDE built to meet the most demanding needs of its users. It is designed to be very extensible and fully configurable. Finally, an IDE with all the features you need, having a consistent look, feel and operation across platforms. Built around a plugin framework, Code::Blocks can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. For instance, compiling and debugging...
    Leader badge
    Downloads: 40,868 This Week
    Last Update:
    See Project
  • 16
    STLplus C++ library collection

    STLplus C++ library collection

    C++ Library collection

    Containers to extend STL: graph, tree, matrix, smart-pointer. Persistence (serialisation) of C++ data structures. Portability: subprocesses, TCP, file system. Reusable subsystems: library manager, message handler. Portable between OSs and compilers. Documentation is included in the download and is also available on the STLplus website http://stlplus.sourceforge.net. The headers are intended to be readable, so look at them too for usage information on each function and class.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Z88 Development Kit

    Z88 Development Kit

    C compiler and dev kit for the z80 with assembly language libraries.

    Z88DK is a complete Z80 / Z180 development kit that includes C compiler, assembler, linker, a tool for generating executables in a number of formats, and miscellaneous other tools. Over 80 machines are directly supported out of the box including standalone Z80 and Z180 embedded systems. Z88DK's extensive assembly language libraries give it significant performance advantages over other Z80 C Compilers.
    Leader badge
    Downloads: 10 This Week
    Last Update:
    See Project
  • 18
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.
    Leader badge
    Downloads: 29 This Week
    Last Update:
    See Project
  • 19
    gSOAP Toolkit

    gSOAP Toolkit

    Development toolkit for Web Services and XML data bindings for C & C++

    The gSOAP toolkit is an extensive suite of portable C and C++ software to develop XML Web services with powerful type-safe XML data bindings. Easy-to-use code-generator tools allow you to directly integrate XML data in C and C++. Serializes native application data in XML. Includes WSDL/XSD schema binding and auto-coding tools, stub/skeleton compiler, Web server integration with Apache module and IIS extension, high-performance XML processing with schema validation, fast MIME/MTOM streaming, SOAP and REST Web API development, WS-* protocols (WS-Security, WS-Policy, WS-ReliableMessaging, etc), XML-RPC and JSON. ...
    Leader badge
    Downloads: 715 This Week
    Last Update:
    See Project
  • 20
    Simple Sokoban

    Simple Sokoban

    a (simple) Sokoban game

    ...It is written in ANSI C89, using SDL for user interactions. I developed it natively under x86_64 Linux, but it should compile just fine on virtually anything that has a C compiler and the SDL library.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 21
    AL-IV

    AL-IV

    ALFOUR Programming language. Simple, safe, power, multi-platform.

    A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 22
    PyKCS11: a complete PKCS#11 wrapper for Python, created using the SWIG compiler. API documentation: http://pkcs11wrap.sourceforge.net/api/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 23
    BinaryPHP is a PHP To C++ converter which will convert PHP scripts into C++ equivalents ready to be compiled using any ANSI compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    pascal p5c

    fast, portable Pascal compiler using gnu c as intermediate code

    p5c is a fast portable iso standard pascal compiler. It is derived from the pascal p5 compiler and creates gnu c code instead of p-code. This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25
    Ring

    Ring

    Simple and flexible programming language for applications development

    The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB