Alternatives and similar repositories for cuda-the-spire

Users that are interested in cuda-the-spire are comparing it to the libraries listed below

• estradilua / org-mode-hs
  Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
  ☆24Updated 2 weeks ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆103Updated 2 months ago
• diku-dk / futhark-mode
  Emacs major mode for editing Futhark programs
  ☆12Updated 4 months ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated last month
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 2 weeks ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• EmaApps / orgself
  Exploring calendar outlining
  ☆17Updated last year
• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• nix-community / nix-data-science
  Standard set of packages and overlays for data-scientists [maintainer=@tbenst]
  ☆80Updated 4 years ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆35Updated 3 weeks ago
• museoa / bqn-mode
  Emacs mode for BQN programming language
  ☆42Updated 2 months ago
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆80Updated 4 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆244Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆65Updated last week
• spwhitton / org-d20
  Emacs minor mode for tabletop roleplaying games that use a d20
  ☆97Updated 6 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆57Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆98Updated last month
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆59Updated last week
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 3 years ago
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆75Updated last month
• tikkanz / j-vscode
  Visual Studio Code support for J language
  ☆13Updated last year
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated 11 months ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆91Updated last week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• gleam-lang / gleam-mode
  🐙 Gleam support for Emacs
  ☆100Updated last week
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 2 months ago
• lexi-lambda / talks
  ☆45Updated 2 years ago