Search Results for "cross"

Stack is a cross-platform build tool for Haskell projects that simplifies dependency management, project setup, and reproducible builds. It provides curated package sets (Stackage), isolated project environments, and consistent tooling for compiling and testing Haskell applications. Stack streamlines workflows for developers by automating many parts of the Haskell toolchain, making it easier to get started and maintain complex codebases.

Reflex Platform is a curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. Reflex Platform is built on top of the nix package manager. The core packages in Reflex Platform are known to work together and are tested together. the core packages in Reflex Platform are cached so you can download prebuilt binaries from the public cache instead of building from scratch. Nix locks down dependencies even outside the Haskell ecosystem...

...Optionally, pass in the --nix flag to all commands if you have the Nix package manager installed. Nix can populate a local build environment including all necessary system dependencies without touching your global filesystem. Use it as a cross-platform alternative to Docker.

GHC (Glasgow Haskell Compiler) is the leading open-source compiler and interactive environment for the Haskell programming language, supporting the Haskell 2010 standard plus numerous language extensions. It compiles to native machine code (via LLVM or C), and includes the interactive GHCi REPL. For full information on building GHC, see the GHC Building Guide. Here follows a summary - if you get into trouble, the Building Guide has all the answers. For building library documentation, you'll...

Queryparser is Uber’s open source Haskell library for parsing and analyzing SQL queries written in different dialects (Vertica, Hive, Presto). It creates a unified AST and supports name resolution using catalog metadata, enabling large-scale query analysis for lineage detection, analytics, and tooling. The parsing logic produces an AST with table and column identifiers that are "raw" or optionally qualified. Frequently, it is desirable to convert the AST over raw names to an AST over...

wikit is another wiki engine suited for small teams. It’s written in Haskell with using Yesod Web Framework. It’s cross platform and was designed to be running as a desktop service application servicing wiki articles and providing some basic capabilities in terms of searching and storing data. It’s perhaps most distinct feature is that it relies on backing Git distributed source control system. And keeps it’s articles in markdown format. Which makes it very easy to port out of the wiki and keep somewhere else if one would wish so, and vice versa, it allows to through bunch of existing documents in markdown format to be introduced into wiki and make available to your team.

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.

Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/

A cross-platform unit testing framework for C++.