Search Results for "type" - Page 2
Sort By:
Showing 39 open source projects for "type"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
...However, static typing is optional and therefore Lua 5.3 programs are also valid Ravi programs. There are other attempts to add static typing to Lua (e.g. Typed Lua but these efforts are mostly about adding static type checks in the language while leaving the VM unmodified. So the static typing is to aid programming in the large - the code is eventually translated to standard Lua and executed in the unmodified Lua VM. -
2
Dyalect
Dyalect is a programming language for .NET Core
...It is also a good language to learn programming. Dyalect offers modern syntax, inspired by such languages as C#, Swift, Go and Rust, first class functions, coroutines, expressive modules, a dynamic type system with an ability to extend existing types with new functions and much more. Dy is shipped with a crossplatform interactive console. Main repo: https://github.com/vorov2/dyalect -
3
ra
ra is a programming language and machine.
...Programs for ra are built from a small set of primitive control statements and a small set of operations. Although they contain no explicit types they are based on two primitive types, string and number, and a high order type, table. When called with the -d option ra includes commands for starting and stopping program execution and examining program state. -
4
ats2-lang
ATS2: Unleashing the potentials of types and templates
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. ... -
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.
-
5
SPL Compiler
A low-level system programming language with high-level syntax
... * Enable programming-by-contract and other high-level features (as long as they incur no extraordinary costs at run-time). * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed". -
6
gluon
A static, type inferred and embeddable language written in Rust
Gluon is 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. -
7
Accelerate
Embedded language for high-performance array computations
...Embedded in the advanced functional programming language Haskell, Accelerate programs are declarative, statically-typed, pure, functional, and ready to exploit all of the performance of modern parallel hardware. The combination of a strong type system, high-level code, and interactive development environment, allows you to develop code quickly with the confidence that it is correct. -
8
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable version of Idris please consider installing the latest version that has been released on Hackage. ... -
9
Eta
The Eta Programming Language, a dialect of Haskell on the JVM
...Eta's concurrency support helps you to build highly scalable systems. Eta has a strongly-typed Foreign Function Interface (FFI) that allows you to safely interoperate with Java. Eta has global type inference, giving you a dynamic language experience, but with a strong typing hidden underneath. Eta offers a wide range of strategies for handling concurrency including Software Transaction Memory (STM), MVars, and Fibers. Using the powerful and type-safe Servant web framework, we define our API as a type and the handler types for each endpoint are automatically generated and conversions happen automatically. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
ChaiScript
Embedded Scripting Language Designed for C++
An easy to use embedded scripting language for C++. ChaiScript is one of the only embedded scripting language designed from the ground up to directly target C++ and take advantage of modern C++ development techniques, working with the developer how they would expect it to work. Being a native C++ application, it has some advantages over existing embedded scripting languages. There are no external tools required, no preprocessor, no libraries, just your C++14 compliant compiler. ChaiScript is... -
11
KAREL 3D C++ ( Karel the Robot in 3D )
Karel - 3D language interpreter
...ZIP include source code and just one EXE file without install to direct Run KAREL-3D ( tested on Win10 x64 and Win7 x64 without MinGW compiller [ not need .dll ] ) Objects: brick, wall, mark, bridge. In Karel, currently can not be use Load or Save ( use Ctrl+C, Ctrl+V between the editor and Notepad ) Tip for Karel: Type command: FAST before commands for demonstrating maximum performance. First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). ... -
12
COIL Programming Language
COIL:A Programming Language made by Teens for Teens(ikr)
...So keep on checking. Don't hesitate to mod it, just don't forget to give credit to the original author Majak Akec. To test it, download the EXE from 'bin'. Run the EXE than type 'hello.cl'. Also, to get the most out of it, try out Pond IDE made by Wasif Boksh - it's epic! Experiment & explore. -
13
Biddlebaddleboo Programming Language
BPLB is a developing programming language.
Biddlebaddleboo Programming Language is a simple programming language that is more user friendly. Type "help" in the command prompt to view commands. You can download scripts by going to files, then scripts, then download which ever script you want to use and then you can execute it. You can upload your own scripts into that directory too. There is even a GUI and you can also launch files with it. This programming language has it's own file format which cannot be read with notepad. ... -
14
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
