×

Found 9 Software Packages (Results 1–9)

GMac

Software Authors:   Ahmad Hosney Awad Eid
Cited in: 8 Publications (2014–2022)
Related Software: Gaigen; Gaalop; CLUCalc; Gaalet; CLIFFORD; OpenCLLink; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX)

LMS

Software Authors:   Tiark Rompf, Martin Odersky
Cited in: 4 Publications (2010–2022)
Related Software: BLOG; TMB; PyMC; Stan; spBayes; Church; …
Main Fields: Computer science (68-XX)

MFront

Software Authors:   Helfer, Thomas; Michel, Bruno; Proix, Jean-Michel; Salvo, Maxime; Sercombe, Jérôme; Casella, Michel
Cited in: 5 Publications (2015–2021)
Related Software: Code_Aster; ABAQUS; Python; BRENT; Traits; STL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

Feldspar

Software Authors:   E. Axelsson, K. Claessen, G. Devai, Z. Horvath, K. Keijzer, B. Lyckegard, A. Persson, M. Sheeran, J. Svenningsson, A. Vajda
Cited in: 2 Publications (2015–2016)
Related Software: Lava; Haskell; Cyclone; Hume; Cedalion; JastAdd; …
Main Fields: Computer science (68-XX)

Ocelot

Software Authors:   Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N.
Cited in: 2 Publications (2013–2015)
Related Software: CUDA; OpenCL; Chromium; gem5; Multi2sim; MCMG; …
Main Fields: Computer science (68-XX)

Ann

Software Authors:   Irene Córdoba, Juan de Lara
Cited in: 1 Publication (2021)
Related Software: Melange; Melanee; MetaDepth; FAMILIAR; Neverlang; MontiCore
Main Fields: Computer science (68-XX)

DLVM

Software Authors:   Richard Wei, Vikram Adve, Lane Schwartz
Cited in: 0 Publications
Related Software: Halide; PyTorch; NNVM; XLA; Caffe; LLVM; …
Main Fields:

Meta Model Isabelle

Software Authors:   Frédéric Tuong; Burkhart Wolff
Cited in: 1 Publication (2016)
Related Software: Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Mnemonics

Software Authors:   Rudolph, Johannes; Thiemann, Peter
Cited in: 1 Publication (2010)
Related Software: TALx86; ASM; LMS; DyC; Flask; BCEL; …
Main Fields: Computer science (68-XX)