- Dublin, Ireland
- https://types.pl/@amir
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- APL
- ATS
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- Dhall
- Elm
- Emacs Lisp
- Erlang
- F*
- Flix
- Frege
- Futhark
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Koka
- Kotlin
- LLVM
- Lean
- Makefile
- Markdown
- Mercury
- Nix
- OCaml
- PHP
- Perl
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Verilog
- Vim Script
- Wren
- Zig
- q
1
star
written in q
Clear filter
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical…