Search Results for "types"
Sort By:
Showing 67 open source projects for "types"
View related business solutions-
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.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
1
ILSpy
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata
ILSpy is the open-source .NET assembly browser and decompiler. Visual Studio 2022 ships with decompilation support for F12 enabled by default (using our engine v7.1). In Visual Studio 2019, you have to manually enable F12 support. Go to Tools / Options / Text Editor / C# / Advanced and check Enable navigation to decompiled source. C# for Visual Studio Code ships with decompilation support as well. To enable, activate the setting "Enable Decompilation Support. ILSpy is distributed under the... -
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. -
3
Rescript Compiler
The compiler for ReScript
...No sluggish CI builds stale caches, wrong type hints, or memory-hungry language servers that slow you down. Every ReScript app is fully typed and provides reliable type information for any given value in your program. We prioritize simpler types over complex types for the sake of clarity and easy debugability. No `any`, no magic types, no surprise `undefined`. Use any library from JavaScript, export ReScript libraries to JavaScript, and automatically generate TypeScript types. It's like you've never left the good parts of JavaScript at all. -
4
koka
Koka language compiler and interpreter
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. ... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
The Ballerina programming language
The Ballerina Programming Language
Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types, and concurrency safety, combined with a familiar, readable syntax make programs reliable and maintainable. ... -
6
TypeScript
Application-scale JavaScript
TypeScript is an open source programming language that is a typed superset of JavaScript. It adds optional static typing to JavaScript, which can support tools for large-scale JavaScript applications for any browser, host and OS. TypeScript compiles to clean, simple JavaScript, and uses existing JavaScript code and libraries. It also offers support for the latest and evolving JavaScript features, such as async functions and decorators. -
7
roblox-ts
A TypeScript-to-Luau Compiler for Roblox
roblox-ts is an attempt to bridge the abilities of TypeScript to work in a Roblox environment. We break down your code into an abstract syntax tree and emit functionally similar structures in Luau so that the code behaves the same. -
8
KSP
Kotlin Symbol Processing API
KSP is Kotlin’s lightweight, idiomatic alternative to Java annotation processing that gives compile-time access to Kotlin program structure. Rather than forcing Kotlin through Java’s annotation APIs, it exposes Kotlin-first symbols—classes, functions, properties, types—so processors can generate code efficiently. The design dramatically reduces incremental build overhead by operating directly on symbols without compiling stubs, which speeds up large multi-module projects. Processors run as Gradle plugins, participate in incremental builds, and can target common use cases like DI bindings, JSON adapters, or UI glue code. ... -
9
Odin
Odin Programming Language
...Odin allows for the highest performance through low-level control over the memory layout, memory management, custom allocators and so much more. Odin is designed from the bottom up for the modern computer, with built-in support for SOA data types, array programming, and other features. We go into programming because we love to solve problems. Why shouldn't our tools bring us joy whilst doing it? Enjoy programming again, with Odin! Odin provides official libraries for all major graphics APIs: OpenGL, Vulkan, Direct3D11, Direct3D12, Metal, and WebGL 1 & 2. Odin comes with high quality packages out of the box in its core library. -
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
Scala 2
Scala 2 compiler and standard library
...Scaladex is officially supported by Scala Center. In Scala, functions are values, and can be defined as anonymous functions with a concise syntax. In Scala, case classes are used to represent structural data types. -
11
Cython
The most widely used Python to C compiler
...Integrate natively with existing code and data from legacy, low-level or high-performance libraries and applications. The Cython language is a superset of the Python language that additionally supports calling C functions and declaring C types on variables and class attributes. -
12
Dotty
The scala 3 compiler, also known as Dotty
...Scala 3 is a complete overhaul of the Scala language. At its core, many aspects of the type-system have been changed to be more principled. While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still is to some degree) to provide users with a small set of powerful features that can be combined to great (and sometimes even unforeseen) expressivity. ... -
13
Grain
The Grain compiler toolchain and CLI, home of the modern web staple
Grain is a new language that puts academic language features to work. Enter the future. Grain compiles directly to WebAssembly, taking full advantage of its speed and efficiency. No runtime type errors, ever. Every bit of Grain you write is thoroughly sifted for type errors, with no need for type annotations. Grain has its roots in functional programming, but is flexible enough to accommodate different programming styles for various applications. Grain aims to modernize innovative features... -
14
Numba
NumPy aware dynamic Python compiler using LLVM
...Just apply one of the Numba decorators to your Python function, and Numba does the rest. Numba is designed to be used with NumPy arrays and functions. Numba generates specialized code for different array data types and layouts to optimize performance. Special decorators can create universal functions that broadcast over NumPy arrays just like NumPy functions do. Numba also works great with Jupyter notebooks for interactive computing, and with distributed execution frameworks, like Dask and Spark. -
15
PackageCompiler
Compile your Julia Package
Julia is, in general, a "just-barely-ahead-of-time" compiled language. When you call a function for the first time, Julia compiles it for precisely the types of arguments given. This can take some time. All subsequent calls within that same session use this fast compiled function, but if you restart Julia you lose all the compiled work. PackageCompiler allows you to do this work upfront — further ahead of time — and store the results for a lower latency startup. You can save loaded packages and compiled functions into a file (called a sysimage) that you pass to Julia upon startup. ... -
16
GraphQL Manifold
Manifold is a Java compiler plugin, features include Metaprogramming
...Use the framework to gain direct, type-safe access to any type of resource, such as GraphQL, JSON, XML, YAML, CSV, and even other languages such as JavaScript. Remove the code gen step in your build process. Use types defined in .graphql files directly, no code gen steps! Make GraphQL changes and immediately use them with code completion. -
17
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. ... -
18
V Programming Language
Simple, fast, safe, compiled language for developing software
...Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V avoids doing unnecessary allocations in the first place by using value types, and string buffers, promoting a simple abstraction-free code style. Most objects (~90-100%) are freed by V's auto-free engine: the compiler inserts necessary free calls automatically during compilation. A remaining small percentage of objects is freed via GC. The developer doesn't need to change anything in their code. "It just works", like in Python, Go, or Java, except there's no heavy GC tracing everything or expensive RC for each object. -
19
Parcel
The zero configuration build tool for the web
...Parcel starts with a great development experience, from starting a new project to iterating and debugging, and shipping to production. No more fiddling with configuration, or spending hours to keep up with best practices – it just works! Parcel supports many languages and file types out of the box, from web technologies like HTML, CSS, and JavaScript, to assets like images, fonts, videos, and more. And when you use a file type that isn't included by default, Parcel will automatically install all of the necessary plugins and dev dependencies for you! Parcel includes a development server out of the box. Just run parcel index.html to get started. ... -
20
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. ... -
21
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.
-
22
Decompiler
Binary executable decompiler
Reko decompiler reads program binaries, decompiles them, infers data types, and emits structured C source code. Designed with a pluggable architecture, it currently has: - support for 68k, ARM, MIPS, PowerPC, Risc-V, Sparc, x86, Z80 processors and many more - support for EXE, Elf, AmigaOS Hunk executable formats and many more - support for MS-DOS, Win32, U*ix, AmigaOS , C64, ZX-81 Reko decompiler comes with a GUI and a command-line interface. -
23
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... -
24
Foreval
Foreval is parser & compiler of mathematical expressions
Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU comand) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.395): Examples for Delphi, Lazarus , GCC (Codeblock), (Builder, MSVC - in b.366). Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting... -
25
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...
