All Projects â†’ agraef â†’ Pure Lang

agraef / Pure Lang

Pure programming language

Projects that are alternatives of or similar to Pure Lang

Compiler-written-in-Haskell
A Turing complete language 😉
Stars: ✭ 31 (-85.17%)
Mutual labels:  llvm, jit-compiler
Batch-First
A JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asynchronous GPU use, and vectorized CPU computations.
Stars: ✭ 27 (-87.08%)
Mutual labels:  llvm, jit-compiler
JitCat
A C++17 library for parsing and executing expressions. Allows easy exposure of variables and functions from C++ through built-in reflection functionality.
Stars: ✭ 16 (-92.34%)
Mutual labels:  llvm, jit-compiler
jingle
🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
Stars: ✭ 34 (-83.73%)
Mutual labels:  llvm, jit-compiler
dmjit
.dmJIT is a Rust-based JIT compiler using modified auxtools, dmasm and Inkwell LLVM wrapper for boosting Byond DM performance without any hassle! (formerly known as dm-jitaux)
Stars: ✭ 18 (-91.39%)
Mutual labels:  llvm, jit-compiler
Cfl
a Compileable statically typed Functional programming Language
Stars: ✭ 7 (-96.65%)
Mutual labels:  llvm, functional-programming
Grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+299.04%)
Mutual labels:  llvm, functional-programming
Faust
Functional programming language for signal processing and sound synthesis
Stars: ✭ 1,360 (+550.72%)
Mutual labels:  llvm, functional-programming
How To Write An Llvm Register Allocator
This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
Stars: ✭ 197 (-5.74%)
Mutual labels:  llvm
Purec
C backend for PureScript
Stars: ✭ 202 (-3.35%)
Mutual labels:  functional-programming
Bosatsu
A python-ish pure and total functional programming language
Stars: ✭ 193 (-7.66%)
Mutual labels:  functional-programming
Thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Stars: ✭ 2,422 (+1058.85%)
Mutual labels:  functional-programming
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-4.78%)
Mutual labels:  llvm
Cql
Categorical Query Language IDE
Stars: ✭ 196 (-6.22%)
Mutual labels:  functional-programming
Cmake Scripts
A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (-3.35%)
Mutual labels:  llvm
Zebras
Data analysis library for JavaScript built with Ramda
Stars: ✭ 192 (-8.13%)
Mutual labels:  functional-programming
Reopt
A tool for analyzing x86-64 binaries.
Stars: ✭ 190 (-9.09%)
Mutual labels:  llvm
Scala Exercises
The easy way to learn Scala.
Stars: ✭ 2,431 (+1063.16%)
Mutual labels:  functional-programming
Scala
Scala 2 compiler and standard library. For bugs, see scala/bug
Stars: ✭ 13,573 (+6394.26%)
Mutual labels:  functional-programming
Nxdk
The cross-platform, open-source SDK to develop for original Xbox: *new* xdk
Stars: ✭ 200 (-4.31%)
Mutual labels:  llvm

The Pure Programming Language

Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code.

Please check our Github website for more information. The Pure Language and Library Documentation is available in html and pdf format. A very complete and up-to-date collection of packages for Arch Linux are available from the Arch User Repositories, please also check our Pure on Arch Linux wiki page for details. We also offer a reasonably complete set of Ubuntu packages at Launchpad. Instructions for installing Pure on the Mac and Windows can be found on the Pure on Mac OS X and Pure on Windows wiki pages. Source packages can be found on the Download page. Please also have a look at our mailing list / Google group and IRC chat (#pure-lang on freenode) if you need any help or if you want to discuss Pure.

Please also check my personal Github site for some fun side projects that I've written in or for Pure (mostly about computer music and multimedia).

Albert Gräf [email protected]

Enjoy. :)

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].