Search Results for "types" - Page 2
Sort By:
Showing 54 open source projects for "types"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. Interoperability with the JavaScript world is provided through a foreign-function interface, allowing Haskell code to call browser APIs or Node modules and to be called back from JS. ... -
2
AvaloniaILSpy
Avalonia-based .NET Decompiler (port of ILSpy)
This is a cross-platform version of ILSpy built with Avalonia. Search for types/methods/properties (substring). Hyperlink-based type/method/property navigation. Extensible via MEF Extensibility (Check out TestPlugin folder). Note: This is not compatible with ILSpy Plugins. Grab artifacts from the latest master CI build. This includes Linux, Mac and Windows. -
3
Dev-C++
Open Source C & C++ IDE for Windows
Dev-C++ is a full-featured Integrated Development Environment (IDE) for Win32. It uses GCC, Mingw or Cygwin as compiler and libraries set. It supports Windows 98, NT, 2000 & XP. This is the original Dev-C++ software as published by Colin Laplace and this repository is frozen to version 4.9.9.2. For more recent versions of Dev-C++, please check the following forks: - Embarcadero Dev-C++: https://sourceforge.net/projects/embarcadero-devcpp/ (last update: March 2021) - Orwell... -
4
Kopi provides a development environment for interactive database applications using Java, JDBC and Swing. It extends the Java language with money, date and time types, adds operator overloading and allows seamless integration of SQL.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
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. -
6
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. ... -
7
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. -
8
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. ... -
9
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. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
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.... -
11
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... -
12
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. -
13
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
-
14
DigCC
A simple, easy-to-retarget, C compiler
DigCC is a simple, easy-to-retarget, C compiler. DigCC handles the main features of the C language, including: - complex data types (arrays, structs, and composition thereof) - dynamic structures (lists, trees, graphs, etc) The current version of DigCC targets the DigMIPS processor, and provides a runtime library with I/O and simplified heap handling (malloc/free). -
15
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. -
16
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).
-
17
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.
-
18
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.
-
19
...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.
-
20
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.
-
21
Pyston is a GEM based plugin for GCC that traverses the C/C++ source code and automagically writes thin, fast Python wrappers for all types and functions. These wrappers once created, are independent of the tool and can be directly distributed.
-
22
A branch of Scala at Rice University that looks for adding support for Runtime Types (ala NextGen), and eventually components (ala CGen).
-
23
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.
-
24
...Using simple project definition files, it generates powerful build scripts (such as ANT) while hiding their complexity. Invicta is a modular framework that allows developing additional components and output types.
-
25
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.
