Search Results for "compiler python linux"
Sort By:
Showing 45 open source projects for "compiler python linux"
View related business solutions-
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.
-
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.
-
1
BSC
Bluespec Compiler (BSC)
BSC (Bluespec Compiler) is a compiler, simulator, and associated tool suite for the high-level Bluespec Hardware Description Language (HL-HDL), supporting two interchangeable syntaxes—Bluespec SystemVerilog (BSV) and Bluespec Haskell (BH)—that enable modular, type-safe hardware design through guarded atomic actions. -
2
Stack
The Haskell Tool Stack
... Compiler) and Hackage. -
3
Clash
Haskell to VHDL/Verilog/SystemVerilog compiler
Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Clash is an open-source project, licensed under the permissive BSD2 license, and actively maintained by QBayLogic. The Clash... -
4
Hakyll
A static website compiler library in Haskell
Hakyll is a Haskell library for building static websites. It uses a highly configurable domain-specific language (DSL) embedded in Haskell, enabling users to define content compilation pipelines in code. It’s ideal for blogs and small-to-medium websites, with support for Markdown, Pandoc, and syntax highlighting. -
Test your software product anywhere in the worldGlobal App Testing is a managed pool of freelancers used by Google, Meta, Microsoft, and other world-beating software companies.
-
5
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.... -
6
The Futhark Programming Language
A data-parallel functional programming language
Futhark is a small programming language designed to be compiled into efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimizing ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code. Futhark is not designed for graphics programming, but can instead use the compute power of the GPU to accelerate data-parallel array computations. The language... -
7
hindent
Haskell pretty printer
... servant which use long-type aliases. Using extensions, hindent can be made aware of valid syntactic compiler extensions that would normally be considered invalid syntax. The 'formatprg' option lets you use an external program (like hindent) to format your text. Note that unlike in emacs you have to take care of selecting a sensible buffer region as input to hindent yourself. If that is too much trouble you can try vim-textobj-haskell which provides a text object for top-level bindings. -
8
CodeWorld
Educational computer programming environment using Haskell
CodeWorld is an educational programming environment built using Haskell. It allows users (especially students) to program interactive graphics, animations, and games via a simplified Haskell-like interface, and run them directly in a web browser (via GHCJS). The environment emphasizes zero-setup use (no local installation needed), easy sharing of programs (via URLs), and bridging between the educational Haskell variant and a “full” Haskell mode. -
9
dhall-haskell
Maintainable configuration files
Maintainable configuration files. Navigate to each package's directory for their respective READMEs. You can download pre-built binaries for Windows, OS X and Linux on the release page. You can then click the "Help" button in the bottom right corner, which will show you a nix-env command that you can run to install the prebuilt executable. You will probably want to use the shared caches hosted at cache.dhall-lang.org and dhall.cachix.org when doing Nix development. This is not required... -
Photo and Video Editing APIs and SDKsUnlock Picsart's full editing suite by embedding our Editor SDK directly into your platform. Offer your users the power of a full design suite without leaving your site.
-
10
Extism
The Universal Plug-in System. Extend anything with WebAssembly
Extism is a plug-in system for everyone. We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your... -
11
Elm
Compiler for Elm, a functional language for reliable webapps
Elm uses type inference to detect corner cases and give friendly hints. NoRedInk switched to Elm about four years ago, and 300k+ lines later, they still have not had to scramble to fix a confusing runtime exception in production. The compiler guides you safely through your changes, ensuring confidence even through the most wide-reaching refactorings in unfamiliar codebases. Including your own, six months later. All Elm programs are written in the same pattern, eliminating doubt and lengthy... -
12
Kitten
https://github.com/evincarofautumn/kitten
Kitten is a statically typed, stack-based concatenative functional programming language project aimed at simplicity, speed, and safety. Its implementation includes an interpreter, an interactive REPL / console, and an in-progress native code compiler to static executables. The language uses inferred types and effect types, and attempts minimal runtime overhead (e.g. avoiding garbage collection via reference counting or explicit memory management). -
13
MediaWiki To LaTeX converts MediaWiki markup to LaTeX and generates a PDF. So it provides an export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.
-
14
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that allows Haskell programs (especially those using GHC semantics and libraries) to be transpiled into JavaScript, enabling them to run in web environments. It enables writing client-side applications in Haskell by emitting JavaScript code and running in browsers or JS runtimes. Its design often leverages the GHC (Glasgow Haskell Compiler) internals and rewrites code to JS while preserving many features of the Haskell runtime. -
15
Asterius
A Haskell to WebAssembly compiler
Asterius is a Haskell-to-WebAssembly (Wasm) compiler backend that allows Haskell programs to compile into WebAssembly modules. The goal is to support Haskell applications on the Web (or Wasm runtime environments) with better performance, tighter integration with Wasm runtimes, and more modern tooling compared to older JS-targeted approaches. It is maintained by Tweag. -
16
Fay
A proper subset of Haskell that compiles to JavaScript
Fay is a compiler for a proper subset of Haskell that type-checks using GHC and compiles to JavaScript. It supports pure functional programming, a Fay-specific monad, FFI, optional tail-call optimization, and integration with Cabal packages. -
17
GHC (Glasgow Haskell Compiler)
Mirror of the Glasgow Haskell Compiler
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. -
18
ordinals
Collection of scripts for transfinite ordinals computations
Collection of scripts for transfinite ordinals computations -
19
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM)
HaLVM (Haskell Lightweight Virtual Machine) is a port of the Glasgow Haskell Compiler toolchain to run Haskell programs directly as lightweight virtual machines on the Xen hypervisor. It enables writing low-level system or network components in Haskell, deploying them as Xen domains without a full operating system layer, leveraging Haskell’s abstractions while executing at a minimal virtualization layer. -
20
Kaleidoscope
Haskell LLVM JIT Compiler Tutorial
Kaleidoscope is a tutorial / educational implementation of a simple language with JIT compilation using LLVM, created by Stephen Diehl. It is often used to teach how one might implement an interpreter, parser, optimizer, and then integrate with LLVM’s JIT and code generation capabilities. It is not a full production compiler, but a demonstration of compiler construction techniques. -
21
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
-
22
Haste
A GHC-based Haskell to JavaScript compiler
A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list. Seamless, type-safe single program framework for client-server communication. Support for modern web technologies such as WebSockets, WebStorage and Canvas. Simple JavaScript interoperability. Generates small, fast programs. Supports all GHC extensions except Template Haskell. Uses standard Haskell libraries. Cabal integration, simple, one-step build; no need for error prone Rube Goldberg machines... -
23
Heckle
Jekyll in Haskell (feat. LaTeX)
An easy-to-use static-site compiler written in Haskell that supports LaTeX/PDF and Markdown/HTML posts. Care has been taken to make it as simple and unopinionated as possible. In other words, Heckle is basically Jekyll in Haskell (feat. LaTeX). -
24
Corrode
C to Rust translator
Corrode is a tool/compiler infrastructure designed to translate C code into Rust equivalents (i.e. transpiler/converter). It aims to assist in migrating legacy C codebases to Rust by generating Rust code that mirrors the semantics of the original C, handling constructs, pointer logic, memory, etc. The project is designed to reduce manual translation effort while producing idiomatic or workable Rust output from C inputs. -
25
ElixirFM
Functional Arabic Morphology
ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm
