Search Results for "language"
Sort By:
Showing 32 open source projects for "language"
View related business solutions-
The full-stack observability platform that protects your dataLayer, tags and conversion dataCode-Cube.io detects issues instantly, alerts you in real time and helps you resolve them fast. No manual QA. No unreliable data. Just data you can trust and act on.
-
Outbound sales softwareAdversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
-
1
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. -
2
Rescript Compiler
The compiler for ReScript
The compiler for ReScript: a statically typed functional language focused on shipping. ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning-fast compiler toolchain that scales to any codebase size. ReScript cares about a consistent and fast feedback loop for any codebase size. Refactor code, pull complex changes or switch to feature branches as you please. -
3
MirageOS
MirageOS is a library operating system that constructs unikernels
A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor. This lets your services run more efficiently, securely and with finer control than with a... -
4
BNFGen
Generates random text based on context-free grammars defined in BNF
...Project goals are to make it easy to write and share grammar and give the user total control of and insight into the generation process. BNFGen provides a "DSL" for grammar definitions. It's a familiar BNF-like syntax with a few additions. One problem with using straight BNF for driving language generators is that you have no control over the process. BNFGen adds two features to fix that. The canonical way to express repetition in BNF is to use a self-referential recursive rule. In classic BNF, that can easily lead to the process terminating to early, since there's a 50% chance that it will take the non-recursive alternative. -
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
5
The cartesian programming language
A functional programming language
Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance. -
6
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
-
7
capstone
Capstone disassembly engine
Multiple-arch, multiple-platform disassembly engine with advanced features -
8
The MinCaml Compiler
*** Moved to http://github.com/esumii/min-caml ***
*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC! -
9
-
Data management solutions for confident marketingVerify, deduplicate, manipulate, and assign records automatically to keep your CRM data accurate, complete, and ready for business.
-
10
Boxman Quiz
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight. -
11
loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.
-
12
The Hybrid Calculus of Wrapped Compartments is a language for the modelling of biological processes; it combines the precision of a stochastic approach with the efficiency of a ODE-based one. HCWC-sim is a OCaml implementation of the HCWC calculus.
-
13
This is an ocaml binding for fuse (filesystem in userspace) enabling you to write your own multithreaded, efficient userspace filesystems using the ocaml programming language.
-
14
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
15
-
16
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
-
17
Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.
-
18
A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions
-
19
McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
-
20
Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation
-
21
This project models an In-Memory Relational Database Management System (RDBMS) using the paradigms of a Functional Language. In particular, we use a flavor of ML (Meta Language) called OCAML (Objective Caml) to implement a working RDBMS.
-
22
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
-
23
Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.
-
24
Objective caml to Python binding. It allows creating Python extension modules (*.so) using Objective caml language.
-
25
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.
