8000 aprell (Andreas Prell) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View aprell's full-sized avatar

Block or report aprell

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

OCaml - Oxidized!

OCaml 319 99 Updated Jun 16, 2025
Dockerfile 33 6 Updated Apr 15, 2025

Tenstorrent's MLIR Based Compiler. We aim to enable developers to run AI on all configurations of Tenstorrent hardware, through an open-source, general, and performant compiler.

Python 71 11 Updated Jun 16, 2025

The Tensor (or Array)

Python 435 44 Updated Aug 12, 2024
C++ 845 95 Updated Jun 13, 2025

Automatic Generation of Benchmarks to Stress-Test Computing Systems.

TeX 20 Updated Jun 16, 2025

Quickly rewrite git repository history (filter-branch replacement)

Python 9,940 792 Updated Jun 9, 2025

The Glu Programming Language

C++ 64 Updated Jun 12, 2025

Programs and Proofs -- Spring 2025 -- IITM

Coq 18 5 Updated May 10, 2025

Patterns and behaviors for GPU computing

C++ 1,724 283 Updated Jun 26, 2022

An implementation oriented cookbook for compiler writers.

Python 5 Updated Sep 15, 2024

Low(est?)-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the h…

C++ 80 10 Updated Jun 15, 2025

Record and Replay Framework

C++ 9,889 617 Updated Jun 14, 2025

A simple compiler for a custom programming language written in C that generates LLVM IR code.

C 6 1 Updated May 20, 2025

Command-line sampling profiler for macOS, Linux, and Windows

Rust 3,124 68 Updated Jun 10, 2025

Tutorial for writing an LLVM backend

MDX 23 1 Updated May 19, 2025

Demo for using llvm-reduce at EuroLLVM 2025

C++ 4 Updated Apr 22, 2025

A lightweight LLVM python binding for writing JIT compilers

Python 2,080 338 Updated Jun 12, 2025
Python 44 7 Updated May 30, 2025

An extremely fast Python type checker and language server, written in Rust.

Python 9,898 92 Updated Jun 13, 2025

The ROCdebug-agent is a library that can be loaded by ROCm Platform Runtime to provide some debugging functionality.

C++ 27 9 Updated Jun 10, 2025
C++ 5 2 Updated Apr 11, 2025

A short guide to LaTeX that avoids legacy cruft.

TeX 839 21 Updated Oct 26, 2022

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,670 172 Updated Nov 26, 2024

IREE's PyTorch Frontend, based on Torch Dynamo.

Python 87 59 Updated Jun 15, 2025

Full Source Code for Making a Language series

Rust 38 3 Updated Jun 13, 2025

KernelBench: Can LLMs Write GPU Kernels? - Benchmark with Torch -> CUDA problems

Python 413 44 Updated Jun 1, 2025

A minimal implementation of Hindley-Milner's Algorithm J in OCaml

OCaml 68 3 Updated Jan 20, 2022

For hosting ATS3 and developing CodeDepot

Python 15 Updated Jun 5, 2025
Next
0