×

Found 22 Software Packages (Results 1–22)

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:

c2go

Software Authors:   Elliot Chance
Cited in: 0 Publications
Related Software:
Main Fields: