arulandu
Follow
-
-
pyqasm Public
Forked from qBraid/pyqasmPython toolkit providing OpenQASM 3 semantic analyzer and utilities for program analysis and compilation.
Python GNU General Public License v3.0 UpdatedJan 28, 2025 -
qbraid-qir Public
Forked from qBraid/qbraid-qirqBraid-SDK QIR transpiler integration
Python GNU General Public License v3.0 UpdatedJan 14, 2025 -
qBraid Public
Forked from qBraid/qBraidA platform-agnostic quantum runtime framework
Python GNU General Public License v3.0 UpdatedJan 9, 2025 -
-
-
-
adevml Public
Autograd for expectations of probabilistic programs in OCaml
Dune UpdatedSep 13, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedSep 11, 2024 -
-
chordy Public
A configurable, multi-threaded, real-time chord detector in C++ and Python.
-
-
-
-
pong Public
A spinoff of Pong with Unity Game Engine. See this tutorial for more info.
-
-
vineyard Public
An implementation of vineyard distance.
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedMay 8, 2024 -
showroom Public
A scalable management system for Yamaha motorcycle showrooms in Tamil Nadu, India.
-
minimum-spanning-trees Public
An interactive minimum spanning tree visualizer with no dependencies.
JavaScript UpdatedFeb 13, 2024 -
-
-
permy Public
A cycle notation expression evaluator for permutation algebra
-
-
competitive-programming Public
This repository stores my code solutions for competitive programming.
-
-
wordy Public
The ultimate platform for wordle enthusiasts.
-
f23-eng-r2-deliverable Public
Forked from ericwang1409/f23-eng-r2-deliverableTypeScript UpdatedSep 16, 2023 -
spring-institute Public
A public-facing website for SPRING Institute
TypeScript UpdatedJul 21, 2023 -
FishNet Public
Forked from FirstGearGames/FishNetFishNet: Unity Networking Evolved.
C# Other UpdatedJun 12, 2023