Search Results for "type" - Page 4
Sort By:
Showing 89 open source projects for "type"
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.
-
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
CFront is an ANSI-C (89) front end library. It provides pre-processing, parsing, and type checking, and an powerful API for examining and rewriting.
-
2
Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation
-
3
Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.
-
4
-
Enterprise-grade ITSM, for every businessFreshservice 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.
-
5
Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.
-
6
Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
-
7
TreeScript a next generation Java based language for inserting into and building large (proxy based) XML like object trees. It allows code and diverse data sources to be acted upon is if they were simple atomic and node type values.
-
8
State is a programming language for automation control software. Hierarchical, type parametrized systems, controlled by Moore statemachines, are connected with arbitrary precision signals. Code generators for M68HC11 and Java are available.
-
9
libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
Advanced Symbolic Instruction Language
A 21st century programming language derived from BASIC
If the words "Symbolic Instruction" in the name sound familiar, they should. ASIL (pronounced "a-sill") was largely inspired by BASIC. However, instead of starting with a modern verison of BASIC, I started with AppleSoft. Why? Well, ASIL was born in the early 1990s while I was in college. I knew AppleSoft quite well as it was my first programming language. ASIL nearly died then as the compiler technology wasn't up to the job. Now, I figure those compilers might be able to do the job. ... -
11
OS for embedded and mobile devices based on tiny byte-code interpreter and FORTH language compiler (into platform-independent byte-code). In other word its smallest programming language realization works on any type computer with any OS
-
12
Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.
-
13
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.
-
14
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!
