Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Type Theory Compiler

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Suggest An Alternative To type-theory-compiler
Popular Llvm Projects
Rpcs3 ⭐ 13,787
PS3 emulator/debugger
most recent commit 3 months ago
Numba ⭐ 9,185
NumPy aware dynamic Python compiler using LLVM
dependent packages 146total releases 42latest release November 30, 2023most recent commit 3 months ago
Popular Calculus Projects
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Types Haskell
Language Haskell
Types Language
Haskell Functional Programming
Lambda Functions Calculus
Language Llvm
Haskell Lambda Functions
Types Type System
Haskell Calculus
Types Functional Programming

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Language
Haskell
Lambda Functions
Functional Programming
Llvm
Calculus
Lambda Calculus
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.