Search Results for "gnu linux"
Sort By:
Showing 11 open source projects for "gnu linux"
View related business solutions-
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.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
MLKit
Full-blown Standard ML Compiler
The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture. -
2
The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
-
3
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
-
4
hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
-
6
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
-
7
-
8
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
-
9
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
-
11
This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.
- Previous
- You're on page 1
- Next
