Search Results for "type it" - Page 2
Sort By:
Showing 43 open source projects for "type it"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud creditsβno strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
Tachyon Forth
A fast compact commercial quality Forth for embedded MCUs
Tachyon was originally developed for the Parallax Propeller 8-core MCU because I need to do more and faster, and within the the limited memory, in order to produce firmware for my commercial embedded hardware products. When the much vaunted successor, the P2 was introduced, then Tachyon was upgraded and also built into the P2 ROM as TAQOZ. Source code can be sent or pasted from the PC terminal at high speed (921,600 default) without any terminal delays and compiled into RAM ready for... -
2
JSchemePlus
An hack of Jscheme with a lot of enhancements and additional features.
...It allows to redistribute a script in an executable JAR file of only ~40K and implements all of R4RS with a lot of additional functions, like: (execute command) (random) (sequence from up-to step) (split list element) (string-split string sub-string) (read-all-from-file file) (write-to-file file data) (file-size file) etc... For the complete list read the HELP file or type (help). JSchemePlus needs only the Java Virtual Machine (version 6 or higher) that, in the case, is very easy to download and install. -
3
Avocado programming language
Avocado Polish programming language
Avocado is a modern programming language with a simple, Python-like syntax, supporting commands in both Polish and English. The code is transpiled to Free Pascal and compiled into a native .exe, ensuring C/Rust-level performance (Zero-Runtime). π₯ New: Avoraiser GUI Framework Avocado is no longer just for the console! We have introduced Avoraiser, an ultra-lightweight framework for building desktop applications. It provides 426 new capabilities, bringing the total to over 700 built-in... -
4
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
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
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. -
6
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 -
7
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. -
8
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. ... -
9
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". -
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
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. -
11
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. ... -
12
- - - π«πππ³πππ,π½πππ πΊπππππ,π½πππ π¬ππππππ - - - This is DefLang. Itβs work on NodeJS. News : I added DefLang to Package. Type βnpm install deflangβ! Please Upvote this! : https://repl.it/language-requests/p/deflang This Language need some package. Please install package by go deflang directory and type βnpm installβ Latest Version : 3.5.0 (deflang350.zip) (deflapp.exe for Linux Users,itβs can run by β./DefLang [filename]β)
-
13
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. -
14
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... -
15
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 ). ... -
16
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. -
17
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. ... -
18
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.