jacobstanley/idris-vba 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

jacobstanley/idris-vba

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/jacobstanley/idris-vba)

Close

jacobstanley / idris-vbaView on GitHubMore

• External links
• Readme badge

Visual Basic for Applications (VBA) backend for Idris

☆25May 9, 2017Updated 9 years ago

Alternatives and similar repositories for idris-vba

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

• athanclark / purescript-tuples-native

  View on GitHub
  Implementation of tuples as a flat heterogeneous array, for FFI
  ☆15Apr 15, 2024Updated 2 years ago
• robashton / githubfall

  View on GitHub
  githubfall
  ☆12Nov 25, 2015Updated 10 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆14Oct 23, 2021Updated 5 years ago
• victorze-vba / Scraping

  View on GitHub
  Library to extract data from websites
  ☆10Feb 25, 2019Updated 7 years ago
• garganscript / purescript-reactix

  View on GitHub
  (beta) React hooks library
  ☆19May 9, 2024Updated 2 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• mitchellwrosen / dohaskell

  View on GitHub
  Tagged Haskell learning resources index
  ☆21Aug 11, 2016Updated 10 years ago
• FrancisMurillo / xlfn

  View on GitHub
  A pseudo functional programming library for Excel VBA.
  ☆12Jun 6, 2015Updated 11 years ago
• andyarvanitis / idris-golang

  View on GitHub
  ☆17Dec 17, 2014Updated 11 years ago
• haskell-backpack / backpack-str

  View on GitHub
  The Str signature and implementations
  ☆20May 28, 2017Updated 9 years ago
• joelburget / haskell-loader

  View on GitHub
  A webpack loader for Haskell (!)
  ☆15Feb 23, 2015Updated 11 years ago
• wqweto / VbPeg

  View on GitHub
  PEG parser generator for VB6
  ☆15Mar 5, 2019Updated 7 years ago
• ekmett / keys

  View on GitHub
  keyed functors
  ☆23Jan 10, 2026Updated 9 months ago
• acid-state / safecopy

  View on GitHub
  An extension to Data.Serialize with built-in version control
  ☆60Apr 11, 2026Updated 6 months ago
• axman6 / amazonka-s3-streaming

  View on GitHub
  Provides a conduit based interface to uploading data to S3 using the Multipart API
  ☆20Jun 10, 2024Updated 2 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• reynir / Verified

  View on GitHub
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18May 14, 2015Updated 11 years ago
• hackage-trustees / hackage-cli

  View on GitHub
  CLI tool for Hackage
  ☆27Aug 23, 2026Updated 2 months ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated 2 years ago
• ChrisPenner / lens-filesystem

  View on GitHub
  Lens interface for your filesystem
  ☆23Dec 21, 2020Updated 5 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• doublec / aliceml-abandoned

  View on GitHub
  Moved to aliceml/aliceml
  ☆29May 28, 2014Updated 12 years ago
• tonymorris / validation

  View on GitHub
  ☆31Oct 31, 2021Updated 4 years ago
• ekmett / rounded

  View on GitHub
  MPFR bindings for Haskell
  ☆35Apr 17, 2026Updated 6 months ago
• ocharles / hsfmt

  View on GitHub
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Oct 7, 2018Updated 8 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ocharles / tasty-rerun

  View on GitHub
  Rerun previous test suite runs to run only failing tests
  ☆14Sep 28, 2026Updated last month
• djv / VisualProf

  View on GitHub
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆58Sep 18, 2015Updated 11 years ago
• tathougies / generic-lens

  View on GitHub
  Automatically make lenses from data structures implementing Generic
  ☆26Feb 14, 2015Updated 11 years ago
• jwiegley / c2hsc

  View on GitHub
  Utility for creating .hsc files from C API header files
  ☆25Jul 22, 2026Updated 3 months ago
• jkff / minxmod

  View on GitHub
  Minimalistic concurrent modeler
  ☆14May 19, 2013Updated 13 years ago
• markandrus / slack-lambdabot

  View on GitHub
  Lambdabot for Slack
  ☆20Sep 16, 2016Updated 10 years ago
• himselfv / jet-tool

  View on GitHub
  MS Jet database schema export/SQL execution tool
  ☆22Apr 10, 2024Updated 2 years ago
• haskell-compat / deriving-compat

  View on GitHub
  Backports of GHC deriving extensions
  ☆14Jun 17, 2026Updated 4 months ago
• ekmett / haskell

  View on GitHub
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Nov 9, 2020Updated 5 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.
• KotorinChunChun / VbaDevelopSupportOLD

  View on GitHub
  ExcelのVBEに機能を追加して、VBA開発を楽にするためのアドイン。ソースコード、CustomUIのエクスポートに対応し、Gitへ上げる準備やWinMergeによるDIFFを容易にできるようにします。
  ☆17Jul 19, 2021Updated 5 years ago
• Lysxia / quickcheck-higherorder

  View on GitHub
  QuickCheck extension for higher-order properties
  ☆19Feb 14, 2022Updated 4 years ago
• Soostone / uri-bytestring

  View on GitHub
  Haskell URI parsing as ByteStrings
  ☆38Oct 2, 2026Updated 3 weeks ago
• haskell-github-trust / thyme

  View on GitHub
  A faster date and time library based on time
  ☆47Jun 23, 2026Updated 4 months ago
• prowdsponsor / nonce

  View on GitHub
  Generate cryptographic nonces.
  ☆10Feb 10, 2026Updated 8 months ago
• LeventErkok / conjugateGradient

  View on GitHub
  Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
  ☆16Sep 5, 2020Updated 6 years ago
• mvv / data-elf

  View on GitHub
  ELF data structures for Haskell
  ☆24May 9, 2023Updated 3 years ago