A DSL for Stencil Codes
☆14Nov 27, 2024Updated last year
Alternatives and similar repositories for stincilla
Users that are interested in stincilla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Continuous Buffer☆17May 8, 2025Updated last year
- Evie.☆11Aug 7, 2024Updated 2 years ago
- A Monte Carlo Path Tracer☆11Jan 7, 2023Updated 3 years ago
- Mini C Compiler☆24Nov 24, 2020Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Heterogeneous Accelerated Computed Cluster (HACC) Resources Page☆22Updated this week
- The Higher-Order Intermediate Representation☆164May 13, 2026Updated 5 months ago
- A programming language somewhat resembling cellular processes.☆33Feb 27, 2022Updated 4 years ago
- A functional programming language with polymorphic algebraic effects, handlers, and signature restriction☆13Jun 27, 2020Updated 6 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- In-Browser Jupyter Notebook Alternative for Javascript REPL without Nodejs Kernel☆12Jun 26, 2023Updated 3 years ago
- The AlteRnaTive Impala Compiler☆30Updated this week
- 🤖 A streamlined, easy‑to‑install implementation of Fourier Neural Operators for time‑dependent and cloud‑point learning tasks.☆10May 28, 2023Updated 3 years ago
- ☆13Jul 24, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- meta-c a meta-langauge☆10Updated this week
- ☆15Mar 12, 2016Updated 10 years ago
- D programming language syntax highlighting file for GNU nano editor☆12Nov 24, 2020Updated 5 years ago
- A thumbnail creation library☆11Apr 14, 2024Updated 2 years ago
- Implementation of Proximal Wavefunction Optimization (PWO)☆14Jul 27, 2026Updated 3 months ago
- AOT compiled object oriented programming language☆47Apr 2, 2024Updated 2 years ago
- ☆14Aug 4, 2022Updated 4 years ago
- Tools for mesh adaptation☆23Dec 7, 2023Updated 2 years ago
- ☆16Oct 4, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- ☆12Nov 26, 2024Updated last year
- A Fast C and Python like Programming Language that puts the Developer first. WIP☆39Apr 17, 2023Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- A superior pairing function☆14Dec 10, 2018Updated 7 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- A constructive proof assistant for second order logic.☆36Sep 28, 2024Updated 2 years ago
- Minecraft clone implemented in Rust.☆12Dec 24, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Medusa: Accelerating Serverless LLM Inference with Materialization [ASPLOS'25]☆12Nov 8, 2024Updated last year
- ☆37Mar 31, 2025Updated last year
- An experimental programming language for portable algorithms☆14May 20, 2026Updated 5 months ago
- WebAssembly runtime for D☆19Jan 12, 2021Updated 5 years ago
- FFTX Project☆32Sep 1, 2026Updated last month
- TMUX-MPI: A tool for launching MPI processes in tmux windows.☆21Dec 27, 2024Updated last year
- ☆10Apr 5, 2025Updated last year