-
pyano Public
A formalization of first-order logic and Peano's axioms in Python
-
-
mlir-tcp Public
Forked from cruise-automation/mlir-tcpTensor Compute Primitives (Mid-level Intermediate Representation for Machine Learning Programs)
MLIR Other UpdatedOct 14, 2023 -
iree-samples Public
Forked from iree-org/iree-experimentalPython Apache License 2.0 UpdatedMar 23, 2023 -
torch-mlir Public
Forked from llvm/torch-mlirThe Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
C++ Other UpdatedNov 22, 2022 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
Other UpdatedOct 6, 2022 -
Open standard for machine learning interoperability
C++ Apache License 2.0 UpdatedAug 29, 2022 -
-
-
-
impossible-programs Public
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ in C++
-
-
-
clang-rewriter Public
A bit of code to reduce boilerplate when writing simple clang tools
C++ UpdatedMay 22, 2017 -
-
-
-
-
-
-
-
-
klug.github.com Public
Forked from sarda-nikhil/klug.github.comKLUG's Website.
MIT License UpdatedMar 15, 2013 -
-
-
DietLISP Public
Toy lisp interpreter / PLT playground
-
-
CmdArgs Public
Painless command line argument parsing in C.
-
L Public
A Small Evaluator for Untyped Lambda Calculus
{{ message }}