joshuanianji/idris-2-docker external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

joshuanianji/idris-2-docker

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/joshuanianji/idris-2-docker)

Close

joshuanianji / idris-2-dockerView on GitHubMore

• External links
• Readme badge

Multi-arch Docker images for Idris 2

☆13Jul 14, 2026Updated 3 months ago

Alternatives and similar repositories for idris-2-docker

Users that are interested in idris-2-docker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kayhide / tree-sitter-idris

  View on GitHub
  ☆14Sep 11, 2026Updated last month
• stefan-hoeck / idris2-parser

  View on GitHub
  Total lexer and parser for Idris2
  ☆19Sep 22, 2025Updated last year
• stefan-hoeck / idris2-dom

  View on GitHub
  Javascript DOM bindings for Idris2
  ☆54Mar 10, 2026Updated 7 months ago
• mattpolzin / pg-idris

  View on GitHub
  Beginnings of a Postgres client for Idris 2
  ☆18Dec 9, 2025Updated 10 months ago
• stefan-hoeck / idris2-array

  View on GitHub
  Immutable and mutable (linear) arrays
  ☆14Sep 2, 2026Updated last month
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• aaronallen8455 / auto-split

  View on GitHub
  GHC plugin for automatic case splitting
  ☆19May 13, 2026Updated 5 months ago
• jfdm / velo-lang

  View on GitHub
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Apr 3, 2023Updated 3 years ago
• ocaml-multicore / par_incr

  View on GitHub
  Parallel version of incremental library
  ☆20Nov 2, 2023Updated 2 years ago
• stefan-hoeck / idris2-ref1

  View on GitHub
  Linear mutable References and Utilities
  ☆13Sep 18, 2026Updated last month
• stefan-hoeck / idris2-webidl

  View on GitHub
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Feb 10, 2025Updated last year
• noahzgordon / elm-color-extra

  View on GitHub
  Additional color handling for Elm
  ☆13Mar 7, 2019Updated 7 years ago
• MLH-Fellowship / pod-3.1.3-portfolio

  View on GitHub
  Portfolio website template for Pod 3.1.3, Practically Pi!
  ☆10May 15, 2024Updated 2 years ago
• egurapha / prot_domain_segmentor

  View on GitHub
  Semantic Segmentor for Protein Structures.
  ☆11Dec 20, 2021Updated 4 years ago
• FStarLang / steel

  View on GitHub
  The Steel separation logic library for F*
  ☆40Jun 8, 2026Updated 4 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• mattpolzin / harmony

  View on GitHub
  Harmonize with coworkers around GitHub reviewing.
  ☆25Oct 8, 2026Updated last week
• rupertlssmith / elm-java

  View on GitHub
  Server side rendering with static Elm programs running in a JVM
  ☆10Feb 15, 2018Updated 8 years ago
• bentoml / google-cloud-run-deploy

  View on GitHub
  Fast model deployment on Google Cloud Run
  ☆17Feb 25, 2024Updated 2 years ago
• bentoml / yatai-deployment

  View on GitHub
  🚀 Launching Bento in a Kubernetes cluster
  ☆17Jul 14, 2026Updated 3 months ago
• zamdzhiev / Qimaera

  View on GitHub
  Idris libraries for hybrid classical-quantum programming
  ☆15Feb 5, 2023Updated 3 years ago
• wearsunscreen / ninety-nine-elm-problems

  View on GitHub
  ☆10Aug 26, 2022Updated 4 years ago
• drupol / markdown-code-runner

  View on GitHub
  Execute and optionally rewrite code blocks in Markdown files based on external commands
  ☆27Jul 23, 2026Updated 2 months ago
• lydell / compiler

  View on GitHub
  Compiler for Elm, a functional language for reliable webapps.
  ☆12Jul 6, 2026Updated 3 months ago
• haskell-perf / graphs

  View on GitHub
  ☆41Feb 17, 2020Updated 6 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• Russoul / Idris2-Effect

  View on GitHub
  Experimental effects library for Idris 2
  ☆45May 13, 2022Updated 4 years ago
• stefan-hoeck / idris2-rhone

  View on GitHub
  ☆19Apr 5, 2024Updated 2 years ago
• joshuanianji / derivative

  View on GitHub
  Symbolic Differentiation with Elm
  ☆15Mar 14, 2023Updated 3 years ago
• ankitsingla / topobench

  View on GitHub
  A throughput benchmarking tool for network topologies
  ☆11Nov 22, 2016Updated 9 years ago
• stefan-hoeck / idris2-dom-mvc

  View on GitHub
  Single Page Web Applications in Idris
  ☆29Apr 22, 2026Updated 5 months ago
• wei / discord-actions-bot

  View on GitHub
  🤖 A Discord Bot that helps with Action Items.
  ☆18Dec 3, 2022Updated 3 years ago
• rrbranco / Troopers2015

  View on GitHub
  Troopers Conference Supporting Materials
  ☆12Apr 8, 2015Updated 11 years ago
• ku-fpg / netlist

  View on GitHub
  Netlist and Verilog Haskell Package
  ☆13Oct 6, 2019Updated 7 years ago
• orlov-vo / 23heap

  View on GitHub
  Implementation 2-3 heap on C++
  ☆11Dec 16, 2014Updated 11 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• agda / agda-stdlib-meta

  View on GitHub
  Meta-programming utilities for Agda.
  ☆25Sep 1, 2026Updated last month
• alexherbo2 / snippet.cr

  View on GitHub
  Code snippets
  ☆11Dec 2, 2024Updated last year
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆23Aug 25, 2017Updated 9 years ago
• ssoudan / nanogptrs

  View on GitHub
  Rust implementation of a simple language model.
  ☆19Mar 11, 2025Updated last year
• therealyingtong / halo2-hope

  View on GitHub
  Example repository created for A New HOPE 2022.
  ☆10Jul 24, 2022Updated 4 years ago
• madman-bob / idris2-python

  View on GitHub
  A Python backed for Idris 2
  ☆30Nov 25, 2025Updated 10 months ago
• jiwhiz / elm-bootstrap-webpack-starter

  View on GitHub
  A simple Webpack 2 setup for writing Elm apps with elm-bootstrap.
  ☆14Apr 16, 2017Updated 9 years ago