Alternatives and similar repositories for haskell-algorithms:

Users that are interested in haskell-algorithms are comparing it to the libraries listed below

• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆499Updated 3 months ago
• coq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆334Updated 3 weeks ago
• TheAlgorithms / OCaml
  Algorithms Implemented in OCaml
  ☆102Updated last year
• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆25Updated 6 years ago
• XanaduAI / blackbird
  Blackbird is a quantum assembly language for continuous-variable quantum computation, that can be used to program Xanadu's quantum photon…
  ☆72Updated 2 years ago
• tanishiking / hscc
  Small C Compiler written in Haskell
  ☆14Updated 6 years ago
• aldotb / Solve-classic-mechanics-problems-with-python
  Solve classic mechanics problems with python, Solve problems of Static, Dynamics, Work, Energy, Kinematics, with Atb python library
  ☆14Updated 2 months ago
• qir-alliance / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆97Updated 2 years ago
• thosgood / qubit.guide
  The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello
  ☆51Updated last month
• arXivQuration / arXivQuration
  repository to share the quantum information and quantum computer articles
  ☆67Updated 4 years ago
• aigarashi / copl-tools
  tools for the book "Concepts of Programming Languages"
  ☆19Updated 3 years ago
• OpenJij / OpenJij
  OpenJij : Framework for the Ising model and QUBO.
  ☆100Updated this week
• oreilly-qc / oreilly-qc.github.io
  Code samples for Programming Quantum Computers, from O'Reilly Media
  ☆137Updated 7 months ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆16Updated this week
• DGivney / assemblytutorials
  This project was put together to teach myself NASM x86 assembly language on linux.
  ☆674Updated 8 months ago
• smlsharp / smlsharp
  SML# compiler
  ☆223Updated 3 weeks ago
• egison / typed-egison
  ☆17Updated 6 years ago
• Qiskit / RFCs
  RFCs for changes to Qiskit ecosystem
  ☆36Updated 6 months ago
• Scinawa / quantumalgorithms.org
  This is the repository for https://quantumalgorithms.org
  ☆149Updated 3 weeks ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆210Updated last week
• matheusmtta / Quantum-Computing
  Projects in Quantum Computing and Quantum information Theory (Qiskit, Algorithms, Circuits, Graph Theory and Quantum Mechanics)
  ☆44Updated last year
• k-mrm / type-inference
  Hindley-Milner Type Inference
  ☆11Updated 5 years ago
• Quantum-Universal-Education / Quantum-Universal-Education.github.io
  Welcome to this community-driven, open-source educational website for learning about all aspects of quantum computing across the full sta…
  ☆94Updated 4 months ago
• camlspotter / ocaml-zippy-tutorial-in-japanese
  OCaml の日本語での情報
  ☆94Updated 6 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• FormalizedFormalLogic / Foundation
  Lean4 Logic Formalization
  ☆92Updated this week
• NVIDIA / cuda-q-academic
  This repo contains CUDA-Q Academic materials, including self-paced Jupyter notebook modules for building and optimizing hybrid quantum-cl…
  ☆63Updated 2 weeks ago
• SpoonQ / SpoonQ
  ☆21Updated 3 years ago
• Travis-S-IBM / IBM-Quantum-QCE20-Tutorials
  Repository of code notebooks for tutorials at IEEE Quantum Week (QCE20) https://qce.quantum.ieee.org/tutorials/
  ☆41Updated 4 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆95Updated last year