Iainmon / ChAILinks
A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.
☆29Updated 3 weeks ago
Alternatives and similar repositories for ChAI
Users that are interested in ChAI are comparing it to the libraries listed below
Sorting:
- Linter component for Isabelle.☆19Updated last month
- Tutorial on building a gpu compiler backend in LLVM☆30Updated 5 months ago
- A library for code transformations with guaranteed legality☆15Updated 3 weeks ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆63Updated 7 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- Autopas is a node-level auto-tuned particle simulation library developed in the context of the TaLPas project.☆38Updated this week
- "proving-contest"-backends for several theorem provers☆13Updated 8 months ago
- C++ compiler☆26Updated last year
- ☆44Updated 8 months ago
- ☆40Updated last year
- Official implementation of the paper "Neural Hamilton: Can A.I. Understand Hamiltonian Mechanics?"☆12Updated last week
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆12Updated 2 years ago
- Site and Resource topology data for the Open Science Grid☆21Updated this week
- A flexible (Python-based) quantum program compiler☆11Updated this week
- Python bindings for data interoperability with Kokkos (View, DynRankView)☆27Updated 9 months ago
- Zoltan Dynamic Load Balancing and Graph Algorithm Toolkit -- Distribution site☆37Updated 2 years ago
- ☆18Updated 3 weeks ago
- ☆33Updated 2 months ago
- A Python client library for accessing IQM quantum computers☆13Updated 3 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- A mini-app to represent the multipole resonance representation lookup cross section algorithm.☆23Updated last year
- US RSE umbrella web page☆30Updated this week
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated 2 years ago
- Performance portable parallel programming in Python.☆109Updated 9 months ago
- ☆21Updated this week
- ☆34Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆27Updated last week
- ☆38Updated 3 months ago
- BioDynaMo is a high-performance and modular, agent-based simulation platform.☆115Updated last week
- CUDA training materials☆21Updated 10 months ago