Search Results for "compile"
Sort By:
Showing 14 open source projects for "compile"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
2
PureScript
A strongly-typed language that compiles to JavaScript
Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. -
3
koka
Koka language compiler and interpreter
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished.... -
4
The Futhark Programming Language
A data-parallel functional programming language
...The language supports regular nested data-parallelism, as well as a form of imperative-style in-place modification of arrays, while still preserving the purity of the language via the use of a uniqueness type system. While the Futhark language and compiler is an ongoing research project, it is quite usable for real programming and can compile nontrivial programs which then run on real machines at high speed. -
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
Servant
Haskell DSL for describing, serving, querying, mocking web apps
Servant provides a type-level domain-specific language (DSL) in Haskell for describing web APIs. From a single API specification, developers can derive server implementations, client libraries, documentation, and more—ensuring consistency and type safety across the stack. We have a tutorial that introduces the core features of servant. After this article, you should be able to write your first server web services, learning the rest from the haddocks' examples. The core documentation can be... -
6
GHCid
Very low feature GHCi based IDE
ghcid is a minimalist development tool for Haskell that runs GHCi as a daemon, watches source files for changes, reloads automatically, and shows compile errors instantly—providing a tight edit-feedback loop. In general, to use ghcid, you first need to get ghci working well for you. In particular, craft a command line or .ghci file such that when you start ghci it has loaded all the files you care about (check :show modules). If you want to use --test check that whatever expression you want to use works in that ghci session. ... -
7
Polysemy
Higher-order, no-boilerplate monads
Polysemy is a high-performance, zero-boilerplate effect system for Haskell, designed to simplify the handling of side effects in functional programs. Unlike traditional monad transformer stacks, Polysemy uses a modern approach based on freer monads and interpreters, allowing developers to define, compose, and interpret effects in a more modular and testable way. It aims to offer both flexibility and performance without sacrificing type safety or expressiveness. -
8
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. -
9
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space memory consumption. Asynchronous IO, this is built in to the Haskell programming language (like Erlang). -
$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.
-
10
Idris-dev
A Dependently Typed Functional Programming Language
...Installation instructions for various platforms can be found on the Idris Wiki. Idris has support for external code generators. Supplied with the distribution is a C code generator to compile executables, and a JavaScript code generator with support for node.js and browser JavaScript. -
11
Haskell IDE Engine (HIE)
The engine for haskell ide-integration. Not an IDE
This project aims to be the universal interface to a growing number of Haskell tools, providing a fully-featured Language Server Protocol server for editors and IDEs that require Haskell-specific functionality. Supports plain GHC projects, cabal projects(sandboxed and non sandboxed) and stack projects. Fast due to caching of compile info. Uses LSP, so should be easy to integrate with a wide selection of editors. Diagnostics via hlint and GHC warnings/errors. Code actions and quick fixes via apply-refact. Type information and documentation(via haddock) on hover. Jump to definition. -
12
TensorFlow Haskell
Haskell bindings for TensorFlow
The tensorflow-haskell package provides Haskell-language bindings for TensorFlow, giving Haskell developers the ability to build and run computation graphs, machine learning models, and leverage TensorFlow's ecosystem—though it is not an official Google release. As an expedient we use docker for building. Once you have docker working, the following commands will compile and run the tests. Run the install_macos_dependencies.sh script in the tools/ directory. The script installs dependencies via Homebrew and then downloads and installs the TensorFlow library on your machine under /usr/local. The stack.yaml file describes a NixOS environment containing the necessary dependencies. -
13
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM)
HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Instead of deploying a full operating system, you compile a Haskell program into a tiny image that boots as its own VM, which reduces the attack surface and startup time. The project adapts GHC and the Haskell runtime to a minimal environment, providing the I/O, networking, and memory facilities necessary for standalone services. Its design encourages highly isolated services—each VM does one job—making it attractive for security-sensitive components and research on microservice-style architectures. ... -
14
Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
- Previous
- You're on page 1
- Next
