PERMAS Software Authors: INTES GmbH Stuttgart; Ast M, Fischer R, Manz H, Schulz U Cited in: 13 Publications (2000–2016) Related Software: ABAQUS; NASTRAN; ANSYS; KORBX; SIMPACK; SPLASH-2; … Main Fields: –
SOSlib Software Authors: Lu J, Muller S, Machné R, Flamm C Cited in: 3 Publications (2012–2019) Related Software: SUNDIALS; COPASI; BioBayes; R; SBW; LibSBMLSim; … Main Fields: –
Template-Coq Software Authors: Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas Cited in: 5 Publications (2018–2022) Related Software: Coq; MetaCoq; CertiCoq; Idris; OEuf; Mtac; … Main Fields: (68T15-XX)
ROSE Software Authors: Dan Quinlan Cited in: 4 Publications (2003–2010) Related Software: SUIF; GAMS; AMPL; SUPERB; Sage++; STLlint; … Main Fields: –
code2seq Software Authors: Uri Alon, Shaked Brody, Omer Levy, Eran Yahav Cited in: 0 Publications Related Software: Python; CodeBERT; VulDeePecker; RoBERTa; fairseq; AllenNLP; … Main Fields: –
Integer-Complexity Software Authors: Cordwell, Katherine; Epstein, Alyssa; Hemmandy, Anand; Miller, Steven J.; Palsson, Eyvindur; Sharma, Aaditya; Steinerberger, Stefan; Vu, Yen Nhi Truong Cited in: 2 Publications (2018–2019) Related Software: GitHub; OEIS Main Fields: (68Q25-XX); (11Y16-XX)
ast Software Authors: – Cited in: 0 Publications Related Software: GATEKEEPER; Synode; Judge; WALA; Node.js; Soot; … Main Fields: –
Cello Software Authors: J. Bordner; M. L. Norman Cited in: 1 Publication (2018) Related Software: LB3D; ForestClaw; FLASH; ENZO; BoxLib; Isorropia; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
CGen Software Authors: Andreas Klöckner Cited in: 1 Publication (2020) Related Software: Devito; YASK; PDEL; OpenSBLI; Halide; Simflowny; … Main Fields: –
clad Software Authors: V. Vassilev, V. Ilieva, L. Moneta, A. Penev, M. Vassilev Cited in: 1 Publication (2018) Related Software: Eigen; Autograd; Matlab; F#; Ceres Solver; ADiGator; … Main Fields: –
Clang AST Software Authors: Horváth, Gábor; Pataki, Norbert Cited in: 0 Publications Related Software: STL Main Fields: (68N19-XX)
CoCoSUM Software Authors: Yanlin Wang, Ensheng Shi, Lun Du, Xiaodi Yang, Yuxuan Hu, Shi Han, Hongyu Zhang, Dongmei Zhang Cited in: 0 Publications Related Software: Devign; GraphCodeBERT; MISIM; StaQC; Bugram; GLUE; … Main Fields: –
CodeBLEU Software Authors: Shuo Ren, Daya Guo, Shuai Lu, Long Zhou, Shujie Liu, Duyu Tang, Neel Sundaresan, Ming Zhou, Ambrosio Blanco, Shuai Ma Cited in: 0 Publications Related Software: Devign; GraphCodeBERT; MISIM; StaQC; CoCoSUM; Bugram; … Main Fields: –
GraphCodeBERT Software Authors: Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, Ming Zhou Cited in: 0 Publications Related Software: Devign; MISIM; StaQC; CoCoSUM; Bugram; GLUE; … Main Fields: –
Hy Software Authors: – Cited in: 0 Publications Related Software: Chainer; DyNet; MacroPy; Python; Lantern; MXNet; … Main Fields: –
MacroPy Software Authors: Haoyi, L., Holmgren, J., Berti, A. Cited in: 0 Publications Related Software: Chainer; DyNet; Python; Lantern; MXNet; Myia; … Main Fields: –
MutPy Software Authors: Konrad Hałas Cited in: 0 Publications Related Software: Hypothesis; TSTL; DLint; EvoSuite; Python; Pynguin Main Fields: –
NormalizedRicciFlow Software Authors: Lai, Xin; Bai, Shuliang; Lin, Yong Cited in: 1 Publication (2022) Related Software: VGAER; GraphRicciCurvature; GitHub; ECOS Main Fields: Statistical mechanics, structure of matter (82-XX)
POMDPStressTesting.jl Software Authors: Robert J. Moss Cited in: 0 Publications Related Software: AdaptiveStressTesting.jl; Breach; OpenAI Gym; S-TaLiRo; Julia; POMDPs.jl Main Fields: –
Verification_MMS_Tools Software Authors: Navah, Farshad; Nadarajah, Siva Cited in: 1 Publication (2020) Related Software: Spalart-Allmaras; GitHub; IPython; PETSc Main Fields: –
XOgastan Software Authors: G. Antoniol, M. Di Penta, G. Masone, U. Villano Cited in: 1 Publication (2007) Related Software: gccXfront; TUAnalyzer; Columbus Main Fields: –