×

Found 8 Software Packages (Results 1–8)

GHC

Software Authors:   Ueda, Kazunori
Cited in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

eLBM

Software Authors:   Alpak, F. O.; Zacharoudiou, I.; Berg, S.; Dietderich, J.; Saxena, N.
Cited in: 4 Publications (2019–2022)
Related Software: drp-benchmarks; Trilinos; CUDA
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

stprbh

Software Authors:   Sinnl, Markus; Ljubić, Ivana
Cited in: 4 Publications (2016–2022)
Related Software: Boost; Boost C++ Libraries; TSPLIB; DIMACS; OR-Library; OGDF; …
Main Fields: Operations research, mathematical programming (90-XX)

PIROL

Software Authors:   Herrmann, Stephan
Cited in: 3 Publications (2002–2003)
Related Software: AspectJ; ArchJava
Main Fields: Computer science (68-XX)

Jinja not Java

Software Authors:   Gerwin Klein; Tobias Nipkow
Cited in: 2 Publications (2016–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; K Prover; CLDC; BicolanoMT; Jinja Threads; …
Main Fields: Computer science (68-XX)

LPMD

Software Authors:   Davis, Sergio; Loyola, Claudia; Gonz'alez, Felipe; Peralta, Joaqu{'i}n
Cited in: 2 Publications (2010–2021)
Related Software: DL_POLY_3; Moldy
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Sandcrust

Software Authors:   Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
Cited in: 0 Publications
Related Software: Retire.js; ConflictJS; Synode; Node.js; npm; BreakApp; …
Main Fields:

FsePSA

Software Authors:   Safa Jammali, Esaie Kuitche, Ayoub Rachati, François Bélanger, Michelle Scott, Aïda Ouangraoua
Cited in: 0 Publications
Related Software:
Main Fields: