Showing 16 open source projects for "types"

View related business solutions
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 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
  • 1
    Idris 2

    Idris 2

    A purely functional programming language with first class types

    In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    MIR

    MIR

    A lightweight JIT compiler based on MIR

    ...Plans to try MIR light-weight JIT first for CRuby or/and MRuby implementation. Each module can contain functions and declarations and data. Each function has a signature (parameters and return types), local variables (including function arguments) and instructions. Each local variable has a type which can be only a 64-bit integer, float, double, or long double. Each instruction has an opcode and operands. Operand can be a local variable (or a function argument), immediate, memory, label, or reference. The immediate operand can be a 64-bit integer, float, double, or long double value. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    SWIG

    SWIG

    A code generator for connecting C/C++ with other programming languages

    SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. SWIG is most commonly used to create high-level interpreted or compiled programming environments, user interfaces, and as a tool for testing and prototyping C/C++ software. ...
    Leader badge
    Downloads: 42,129 This Week
    Last Update:
    See Project
  • 4
    FreeBASIC Compiler
    Open-source, free, multi-platform BASIC compiler, with syntax similar MS-QuickBASIC (including the GFX statements), that adds new features such as pointers, unsigned data types, inline assembly, a pre-processor and many others.
    Leader badge
    Downloads: 1,092 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
  • 5
    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. Building software for standalone or generic Z80...
    Leader badge
    Downloads: 33 This Week
    Last Update:
    See Project
  • 6

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7...
    Leader badge
    Downloads: 6 This Week
    Last Update:
    See Project
  • 7
    chibicc

    chibicc

    A small C compiler

    ...The project is structured incrementally, with each commit representing a step in building a full compiler, making it particularly valuable for educational purposes. It includes support for advanced C features such as floating-point types, variable-length arrays, thread-local storage, and atomic operations. Chibicc also provides clear error messages, helping developers understand compilation issues more effectively.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8

    The ATS PL System

    Unleashing the potentials of types and templates

    The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    JILRuntime/JewelScript

    An object-oriented script language to embed in any application

    A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds....
    Downloads: 0 This Week
    Last Update:
    See Project
  • Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • 10

    Python Embed C++

    Embed C++ in Python source code, dynamically compile and access data

    ...Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    cowbel (obsolete)

    An experimental programming language

    cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A plug-in for the Eclipse C/C++ Development Tooling (CDT) that adds new Project Types specific to PowerPC C/C++ development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    EuLib is a C library implementing the embeddable language "Calc" and some abstract data types like lists, trees, b-trees and date/time management functions. Initially developed by Eurosoft Informatica Medica for it's own internal use, it's now LGPL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This is an Error Class Generator. It takes a text file that defines the error types, constant names and messages, levels and responses associated with it and generates classes in the supported languages that can be used to consistently handle errors
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    STack Oriented Interactive Compiler Adapted to Linux. POSIX threads, regular expressions, sockets, associative arrays (hashes), dynamic memory/GC, floating point math, types, and more. An RPN language, inspired by STOIC and Forth.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB