Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell llvm
haskell
x
llvm
x
89 search results found
Awesome Wasm Langs
⭐
3,949
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
Dex Lang
⭐
1,529
Research language for array processing in the Haskell/ML family
Awesome Bazel
⭐
1,060
A curated list of Bazel rules, tooling and resources.
Grin
⭐
988
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Accelerate
⭐
876
Embedded language for high-performance array computations
Kaleidoscope
⭐
811
Haskell LLVM JIT Compiler Tutorial
Llvm Hs
⭐
490
Haskell bindings for LLVM
Saw Script
⭐
429
The SAW scripting language.
Lhc
⭐
198
The LLVM LHC Haskell Optimization System
Eclair Lang
⭐
178
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Blackstar
⭐
165
A black hole raytracer written in Haskell
Compile To Web
⭐
156
Discover what languages can be compiled to Web Assembly
Accelerate Llvm
⭐
147
LLVM backend for Accelerate
Paskell
⭐
118
A Pascal to LLVM compiler in Haskell
Llvm
⭐
104
Haskell bindings to the LLVM compiler infrastructure project.
Crisp Compiler
⭐
99
A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
Lasca Compiler
⭐
97
Lasca is Scala shifted towards Haskell.
Unison
⭐
93
Unison's source code
Ple
⭐
78
Programming Language Explorations
Mlir Hs
⭐
77
Haskell bindings for MLIR
Idris Llvm
⭐
71
Idris LLVM codegen factored out
Mcc
⭐
66
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
Accelerate Examples
⭐
59
Examples for the Accelerate language
Accelerate Cuda
⭐
59
DEPRECATED: Accelerate backend for NVIDIA GPUs
Amy
⭐
56
Strict Haskell-like programming language that compiles to LLVM
Salt
⭐
55
The compilation target that functional programmers always wanted.
Olifant
⭐
54
A simple programming language targeting LLVM
Llvm Hs Kaleidoscope
⭐
49
Kaleidoscope Tutorial using llvm-hs
Llvm Hs Examples
⭐
48
Examples for Haskell bindings to LLVM
Llvm Hs Typed
⭐
46
Type Safe LLVM IR ( Experimental )
Lfvm Stg
⭐
45
Map lazy functional language constructs to LLVM IR
Malgo
⭐
41
A statically typed functional programming language.
Type Theory Compiler
⭐
38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Simply_llvm
⭐
37
Llvm Slicing
⭐
31
Symbolic Program Slicing with LLVM
Llvm Analysis
⭐
29
A library for analyzing LLVM bitcode in Haskell
Fast Math
⭐
26
Play fast and loose with IEEE-754 rewrite RULES
Simplexhc Cpp
⭐
26
optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
Llvm Hs Quote
⭐
26
Quasiquoter for LLVM
Geisha
⭐
25
A naive θ..θ programming language
Simd
⭐
24
simple interface to ghc's simd vector support
Llvm Tools
⭐
23
A set of tools for visualizing and inspecting LLVM bitcode modules
Newl Compiler
⭐
22
Carth
⭐
22
The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
Llvm Jvm
⭐
21
[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
Embeddedhaskellaetherling
⭐
21
Llvm Codegen
⭐
20
Code generation utils for LLVM
Compiler Written In Haskell
⭐
20
A Turing complete language 😉
Manual Stg Experiment
⭐
19
Manually constructed STG programs compiled with the standard GHC codegen backend.
Llvm Verifier
⭐
19
The LLVM Symbolic Simulator, part of SAW.
Hopc
⭐
19
Experimental Scheme-like compiled language
Llvm In Haskell
⭐
18
Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
Imp
⭐
15
Compiler for IMP programming language implemented in Haskell
Llvm Regexp
⭐
13
Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
Llvm Data Interop
⭐
13
A package to convert the LLVM IR into a native Haskell data type
Llvm General Quote
⭐
12
Use QuasiQuotation with llvm-general
Novalang
⭐
12
A Haskell derived programming language for systems development.
Idris Elba Dev
⭐
12
A Whitespace-Based Dependently Typed Functional Programming Language
Diml
⭐
11
Honors Thesis Summer/Fall 2015
Symbolic Trace
⭐
11
Symbolic execution of LLVM IR traces for program understanding.
Squanchy Pl
⭐
10
Squanchy is a brand new, easy to learn, general purpose, multi-paradigm, compiled programming language. The language is written from scratch (it includes an integrated lexer, parser, code generator etc). I tried to put together Python and Haskell (or at least the main features from both) in Squanchy. In other words you can use it as a scripting language, can do maths (calculus, matrix ...) due to its functional side, work with data ...
Data Bitcode Llvm
⭐
10
Data.BitCode.LLVM
Koak
⭐
10
A compiler for a little statically-typed language implemented in Haskell.
Platy Lang Haskell
⭐
10
Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language
Bfc
⭐
10
Brainf**c Compilers (BF to Ruby, C, Haskell, Scheme and LLVM)
Foreign Inference
⭐
10
A smarter tool to automatically generate FFI bindings for C libraries
Ghc Simd Tests
⭐
9
Cspgen
⭐
9
A tool for translating imperative programs to CSP.
Paradise
⭐
9
A programming language that compiles to LLVM
Plc Llvm
⭐
9
A compiler from Plutus Core to LLVM IR.
Minicute
⭐
8
Basic compiler for a simpler version of CUTE Lang
Haskell To Llvm Compiler
⭐
8
LLVM Targetting JIT written in Haskell for Great Good
Higher C
⭐
8
Higher-C compiler toolchain, written in Haskell.
Llvmvf
⭐
8
LLVM Verification Framework
Redgrep
⭐
7
redgrep in Haskell
Uni Instr Sel
⭐
7
Universal instruction selection
Nvvm
⭐
7
Haskell FFI bindings to NVVM
Ian
⭐
7
Personal megarepo
Llvm Base Types
⭐
7
Type definitions used in some higher-level LLVM-related packages
Eel
⭐
7
eel EDSL
Accelerate Camera Sandbox
⭐
7
Program to do weird gpu accelerated visualizations with Haskell's Accelerate library and web cams
Llvm Hs Jit External Lib
⭐
7
Recompile
⭐
6
Translates x86 executables to LLVM assembler
Lithium Lang
⭐
6
An experimental attempt at making my own programming language
Primitive Simd
⭐
6
Expose SIMD prim-ops in a uniform way.
Nanc
⭐
5
Not an ANSI C Compiler
Kaleidoscope Llvm8
⭐
5
Simpl
⭐
5
A simple imperative programming language inspired by ideas in functional programming languages
Weblang
⭐
5
Related Searches
C Plus Plus Llvm (1,696)
Haskell Ghc (1,289)
Types Haskell (1,028)
Llvm Clang (934)
Language Haskell (853)
Haskell Functional Programming (793)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
1-89 of 89 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.