×

Found 12 Software Packages (Results 1–12)

MuTACLP

Cited in 3 Documents (2000–2014)
Software Authors: Mancarella, Paolo; Nerbini, Gianluca; Raffaet\`a, Alessandra; Turini, Franco
Related Software: SMT-LIB; Esterel; SICStus
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PyNUFFT

Cited in 2 Documents (2019–2021)
Software Authors: Jyh-Miin Lin
Related Software: NFFT3; Python; SciPy; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

AspectTalk

Cited in 3 Documents (2011–2012)
Software Authors: Stefantsov, D. A.
Related Software: DynamoRIO; Python; Boost; …
Main Fields: Computer science (68-XX)

BYTESURGEON

Cited in 2 Documents (2006–2008)
Software Authors: Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
Related Software: SmallJS; JavaScript; WhyLine; …
Main Fields: Computer science (68-XX)

DynaMoW

Cited in 2 Documents (2011)
Software Authors: Chyzak, Frédéric; Darrasse, Alexis
Related Software: OCaml; Camlp4; OEIS
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Metatheory.jl

Cited in 1 Document (2022)
Software Authors: Alessandro Cheli
Related Software: MatchCore.jl; MLStyle.jl; egg; …
Main Fields: Computer science (68-XX)

SoAx

Cited in 2 Documents (2018–2022)
Software Authors: Holger Homann, Francois Laenen
Related Software: PSC; Thrust; VecDualSPHysics; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …

Algorithm 940

Cited in 0 Documents
Software Authors: Nelson, Blake; Kirby, Robert M.; Parker, Steven
Related Software: uBLAS; Armadillo; Eigen; …
Main Fields: (68N20-XX)

FastAD

Cited in 0 Documents
Software Authors: James Yang
Related Software: Adept; ADOL-C; Stan; …
Main Fields:

Merly.jl

Cited in 0 Documents
Software Authors: Josué Acevedo Maldonado
Related Software: Travis CI; Docker; Julia
Main Fields:

metaQASM

Cited in 1 Document (2019)
Software Authors: Amy, Matthew
Related Software: QPL; QML; cQASM; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

NiHu

Cited in 0 Documents
Software Authors: Fiala, P., Rucz, P.
Related Software: PCLab; ESFM; FReET; …
Main Fields:

Filter Results by …

all top 3

Main Field