Showing 43 open source projects for "types"

View related business solutions
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it 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
    gluon

    gluon

    A static, type inferred and embeddable language written in Rust

    ...Gluon is a small, statically-typed, functional programming language designed for application embedding. Static typing makes it easier to write safe and efficient interfaces between gluon and the host application. Type inference ensures that types rarely have to be written explicitly giving all the benefits of static types with none of the typing. Marshalling values to and from gluon requires next to no boilerplate, allowing functions defined in Rust to be directly passed to gluon. Gluon supports Unicode out of the box with utf-8 encoded strings and Unicode codepoints as characters. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Google Closure Compiler

    Google Closure Compiler

    A JavaScript checker and optimizer

    ...Beyond minification, it performs advanced optimizations such as inlining, property collapsing, type-guided rewrites, and cross-module motion, often yielding substantial load-time wins. It includes a strong static checker that validates syntax, variable references, and type annotations (Closure types or JSDoc), catching bugs early and enabling aggressive transformations safely. The ecosystem provides a Java implementation, npm/JS builds, and documentation for integrating in modern toolchains. Closure Compiler has been used extensively at scale within Google and by the broader community, proving its robustness on very large codebases. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Schism

    Schism

    A self-hosting Scheme to WebAssembly compiler

    ...Its architecture demonstrates advanced compiler design techniques such as staged compilation and snapshot-based bootstrapping. The project focuses on leveraging WebAssembly’s experimental capabilities, including reference types and tail calls, to test the limits of language portability and runtime performance. Though no longer actively maintained, Schism remains a valuable example of how high-level languages can be mapped to WebAssembly and offers insights into language implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    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
  • 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
    Closure Compiler JS

    Closure Compiler JS

    Package for the JS version of closure-compiler for use via NPM

    closure-compiler-js packages Google’s Closure Compiler so it runs under JavaScript (e.g., Node.js) instead of a JVM, making advanced JS optimization accessible in more build pipelines. You get the same aggressive whole-program optimizations—dead-code elimination, property renaming, inlining, and cross-module motion—delivered via a JS API and CLI. Because it’s the compiler you know, it also honors Closure type annotations and JSDoc, enabling type-aware rewrites that shrink bundles without...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    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: 1 This Week
    Last Update:
    See Project
  • 7
    ASN.1 library for Python
    ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8

    Iterative Flow Analysis

    Iterative Data and Control Flow Analysis

    https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    New object-oriented programming language based on Java, with the following advanced features: parametric types, anonymous functions, multi-methods, tuples, optional parameters. Nice also detects more errors during compilation (null pointers, casts).
    Downloads: 1 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    CPPML adds support to C++ for some of the type constructions and pattern matching that are found in ML-based languages like OCaml. CPPML transforms sourcecode back to regular c++ and should work with most compilers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MiGOberon
    An Oberon-2 compatible source code translator which will produce C++ or Object-C files from Oberon input files. Extensions will be included to allow infix operator definitions, enumerated types, complex numbers, strings, and OS interface modules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ...A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encodings.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The scala-fast-dynamic is a compiler plugin + a small runtime library for the Scala programming language (http://www.scala-lang.org) that re-implement the way structural types are translated into JVM bytecode, achieving higher performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A branch of Scala at Rice University that looks for adding support for Runtime Types (ala NextGen), and eventually components (ala CGen).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Multimethods for .NET: Makes multi-methods available to *any* language that targets .NET - C#, VB.NET, JScript.NET, Managed C++ and the rest! Uses .NET dynamic assemblies and shows how to generate dynamic .NET types and IL at runtime.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    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
  • 18

    Chor

    A choreography programming language for concurrent systems

    ...In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB