×

Found 107 Software Packages (Results 1–100)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 957 Publications (1996–2022)
Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Julia

Software Authors:   Bezanson J, Karpinski S, Shah VB, Edelman A
Referenced in: 394 Publications (2014–2022)
Related Software: GitHub; JuMP; DifferentialEquations.jl; R; Gurobi; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

OCaml

Software Authors:   INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Referenced in: 260 Publications (1998–2022)
Related Software: Coq; Haskell; Isabelle/HOL; ML; HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Scala

Software Authors:   Loverdos, Christos K. K.; Syropoulos, Apostolos
Referenced in: 75 Publications (2005–2022)
Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Matita

Software Authors:   Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico
Referenced in: 71 Publications (2007–2020)
Related Software: Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)

DENFIS

Software Authors:   Kasabov NK, Song Q
Referenced in: 27 Publications (2004–2020)
Related Software: ANFIS; ElemStatLearn; UCI-ml; MPI; JStatCom; GenSoFNN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Freshml

Software Authors:   Shinwell, M.R., Pitts, A.M., Gabbay, M.
Referenced in: 48 Publications (2003–2021)
Related Software: Coq; Nominal Isabelle; Twelf; Isabelle/HOL; OCaml; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

CDuce

Software Authors:   Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Referenced in: 48 Publications (2003–2020)
Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DrScheme

Software Authors:   Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Referenced in: 27 Publications (1997–2016)
Related Software: ACL2; Haskell; LISP; DrACuLa; Eiffel; MzScheme; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mathematics education (97-XX)

JFlow

Software Authors:   Andrew C. Myers
Referenced in: 22 Publications (2002–2022)
Related Software: Haskell; TALx86; TaintDroid; Jif; Laminar; NaCl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CCured

Software Authors:   Necula, G.C., McPeak, S., Weimer, W.
Referenced in: 18 Publications (2002–2018)
Related Software: SLAM; Cyclone; DART; Java PathFinder; CIL; Bandera; …
Main Fields: Computer science (68-XX)

Eff

Software Authors:   Bauer, Andrej; Pretnar, Matija
Referenced in: 22 Publications (2013–2021)
Related Software: Koka; Haskell; GitHub; ML; Coq; Links; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Glow

Software Authors:   Diederik P. Kingma, Prafulla Dhariwal
Referenced in: 20 Publications (2019–2022)
Related Software: NICE; Adam; torchdiffeq; Wasserstein GAN; FFJORD; PyTorch; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

abcrf

Software Authors:   Louis Raynal, Jean-Michel Marin, Pierre Pudlo, Mathieu Ribatet, Christian P. Robert, Arnaud Estoup
Referenced in: 20 Publications (2018–2022)
Related Software: abc; DIYABC; R; bayess; ranger; AABC; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

lgcp

Software Authors:   Benjamin M. Taylor, Tilman M. Davies, Barry S. Rowlingson, Peter J. Diggle
Referenced in: 7 Publications (2013–2022)
Related Software: R; spatstat; RandomFields; INLA; raster; R-INLA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Referenced in: 14 Publications (2013–2020)
Related Software: Coq; Agda; Idris; seL4; VeriML; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

fdatest

Software Authors:   Pini, Alessia; Vantini, Simone
Referenced in: 12 Publications (2016–2021)
Related Software: fda (R); R; gprege; AneuRisk65; bootlib; fdahotelling; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HOL Zero

Software Authors:   Adams, Mark
Referenced in: 11 Publications (2014–2020)
Related Software: HOL Light; HOL; Isabelle/HOL; ML; Isabelle; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)

KIDS

Software Authors:   D.R. Smith
Referenced in: 11 Publications (1992–2021)
Related Software: Theorema; ALISA; Maude; TAMPR; ATERM; ELAN; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

MJ

Software Authors:   Bierman GM, Parkinson MJ, Pitts AM
Referenced in: 9 Publications (2006–2019)
Related Software: Featherweight Java; Welterweight Java; Cyclone; JavaSPI; AGVI; Scala; …
Main Fields: Computer science (68-XX)

Koka

Software Authors:   Leijen, D.
Referenced in: 11 Publications (2014–2020)
Related Software: Eff; Links; ML; Haskell; JavaScript; Shonky; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

shallot

Software Authors:   David B. Dahl; Ryan Day; Jerry W. Tsai
Referenced in: 9 Publications (2018–2022)
Related Software: R; bamboo; rscala; CRAN; MLlib; SparkR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

WHIRL

Software Authors:   Cohen, W.W.
Referenced in: 11 Publications (2000–2015)
Related Software: C4.5; XPath; SSE; Figaro; PRISM; Dyna; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL-Omega

Software Authors:   Homeier, Peter V.
Referenced in: 9 Publications (2009–2019)
Related Software: HOL; Isabelle; Coq; Lifting; Transfer; HOL Light; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

CorrT

Software Authors:   Zhu, Yinchu; Bradic, Jelena
Referenced in: 8 Publications (2018–2022)
Related Software: EigenPrism; hdi; selectiveInference; covTest; hdm; ElemStatLearn; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CTBN-RLE

Software Authors:   Shelton, Christian R.; Fan, Yu; Lam, William; Lee, Joon; Xu, Jing
Referenced in: 7 Publications (2010–2022)
Related Software: VIBES; TETRAD; Netica; PhysioToolkit; PMTK
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PROTOS-L

Software Authors:   Beierle, Christoph
Referenced in: 7 Publications (1990–1996)
Related Software: Prolog
Main Fields: Computer science (68-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Referenced in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

EXPANDER

Software Authors:   Peter Padawitz
Referenced in: 6 Publications (1992–2007)
Related Software: CoCasl; Curry; Maude; HasCasl; SPIKE; RRL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Flow Caml

Software Authors:   V. Simonet
Referenced in: 5 Publications (2009–2018)
Related Software: Jif; HLIO; Haskell; JFlow; Creol; SeLINQ; …
Main Fields: Computer science (68-XX)

JSAI

Software Authors:   Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
Referenced in: 4 Publications (2017–2021)
Related Software: JavaScript; Phantm; Norn; Node.js; ast; GATEKEEPER; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

KANREN

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 6 Publications (2008–2022)
Related Software: miniKanren; AIspace; Teyjus; GHC; MzScheme; LISP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SIMoNe

Software Authors:   Chiquet J, Smith A, Grasseau G, Matias C, Ambroise C
Referenced in: 5 Publications (2009–2019)
Related Software: glasso; R; EDISON; bnlearn; GeneNetWeaver; Path2Models; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Referenced in: 6 Publications (2018–2021)
Related Software: TcT; z3; Separation Logic; OptiMathSAT; Amortized Complexity; KITTeL; …
Main Fields: Computer science (68-XX)

FC++

Software Authors:   McNamara, Brian; Smaragdakis, Yannis
Referenced in: 5 Publications (2002–2011)
Related Software: STL; Lambda Library C++; BGL; STREAM; Mayfly; libstdc++; …
Main Fields: Algebraic topology (55-XX); Computer science (68-XX)

haggies

Software Authors:   Reiter, T.
Referenced in: 5 Publications (2010–2015)
Related Software: FORM; Golem95; WHIZARD; BlackHat; MadDipole; MadFKS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

hoa

Software Authors:   Brazzale, A. R.
Referenced in: 5 Publications (2008–2018)
Related Software: R; bootlib; elrm; bootstrap; ump; WinBUGS; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)

Merlin

Software Authors:   Livshits VB, Nori AV, Rajamani SK, Banerjee A
Referenced in: 5 Publications (2013–2017)
Related Software: Saner; TAJ; JavaScript; GitHub; Stranger; F*; …
Main Fields: Computer science (68-XX)

Nikola

Software Authors:   Geoffrey Mainland; Greg Morrisett
Referenced in: 5 Publications (2012–2016)
Related Software: Haskell; Accelerate; CUDA; Obsidian; Muesli; Vector; …
Main Fields: Computer science (68-XX)

PolyAML

Software Authors:   Dantas, D. S.; Walker, D.; Washburn, G.; Weirich, S
Referenced in: 5 Publications (2005–2012)
Related Software: Aspectual Caml; AspectJ; MAVEN; Haskell; MzScheme; AspectScheme; …
Main Fields: Computer science (68-XX)

TinkerType

Software Authors:   Levin, Michael Y.; Pierce, Benjamin C.
Referenced in: 5 Publications (2003–2010)
Related Software: ML; OCaml; Ott; CASL; LaTeX; Freshml; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Aspectual Caml

Software Authors:   Masuhara, Hidehiko; Tatsuzawa, Hideaki; Yonezawa, Akinori
Referenced in: 4 Publications (2005–2012)
Related Software: PolyAML; AspectC++; OCaml; AspectJ; MAVEN; Haskell
Main Fields: Computer science (68-XX)

FaCiLe

Software Authors:   Barnier, N., Brisset, P.
Referenced in: 3 Publications (2005–2009)
Related Software: Choco; ProB; Gecode; JaCoP; CLAIRE; Miranda; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL2P

Software Authors:   Völker, Norbert
Referenced in: 4 Publications (2007–2018)
Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; …
Main Fields: Computer science (68-XX)

Lackwit

Software Authors:   O'Callahan, R. W.; Jackson, D.
Referenced in: 4 Publications (2000–2012)
Related Software: Interproc; STP; ASTREE; InvGen; Pex; DART; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

1ML

Software Authors:   Rossberg, Andreas
Referenced in: 4 Publications (2015–2018)
Related Software: MixML; Automath; ML; OCaml; Tribe; HMap; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rascal

Software Authors:   Hills, Mark; Klint, Paul; Vinju, Jurgen J.
Referenced in: 3 Publications (2010–2013)
Related Software: Maude; Stratego; MetaEdit+; Simpl; Spoofax; Xtext; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

spinyReg

Software Authors:   Latouche, Pierre; Mattei, Pierre-Alexandre; Bouveyron, Charles; Chiquet, Julien
Referenced in: 4 Publications (2016–2019)
Related Software: PRMLT; EMVS; R; fda (R); BVSNLP; icmm; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)

EpiStruct

Software Authors:   Black, Andrew J.
Referenced in: 3 Publications (2019–2021)
Related Software: GitHub; epiABC; RcppArmadillo; Armadillo; R; Expokit; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ETCH

Software Authors:   Donaldson, Alastair F.; Gay, Simon J.
Referenced in: 2 Publications (2008–2010)
Related Software: PROMELA; SPIN; p2b; Haskell; ML; SableCC; …
Main Fields: Computer science (68-XX)

FL

Software Authors:   J. Backus, J.H. Williams, E.L. Wimmers
Referenced in: 3 Publications (1999–2003)
Related Software: Maya; PLaSM
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

OKVAR-Boost

Software Authors:   Lim N, Senbabaoglu Y, Michailidis G, d'Alché-Buc F.
Referenced in: 3 Publications (2013–2016)
Related Software: ARACNE; fda (R); GeneNetWeaver; G1DBN; UNLocBoX; TIGRESS; …
Main Fields: Operator theory (47-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PeakSeg

Software Authors:   Toby Hocking, Guillem Rigaill, Guillaume Bourque
Referenced in: 2 Publications (2020–2022)
Related Software: isotone; wbs; R; gfpop; SegAnnot; InspectChangepoint; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

flexcircmix

Software Authors:   Mulder, Kees; Klugkist, Irene; van Renswoude, Daan; Visser, Ingmar
Referenced in: 2 Publications (2020–2021)
Related Software: movMF; R; sphunif; bpDir; season; RiemBase; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

foxPSL

Software Authors:   Magliacane, Sara; Stutz, Philip; Groth, Paul; Bernstein, Abraham
Referenced in: 1 Publication (2017)
Related Software: ClaimEval; HyPER; BLOG; Edward; mplp2; SPOOK; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

HDTD

Software Authors:   Touloumis, A.; Marioni, J. C.; Tavaré, S.
Referenced in: 2 Publications (2021)
Related Software: Knorm; R; Matlab; HS_GHS; GHS; GitHub; …
Main Fields: Statistics (62-XX)

LaCasa

Software Authors:   Haller, P.; Loiko, A.
Referenced in: 2 Publications (2018–2020)
Related Software: Eff; Koka; Scala; OCaml; Scalding; Scoobi; …
Main Fields: Computer science (68-XX)

LightDP

Software Authors:   Zhang, Danfeng; Kifer, Daniel
Referenced in: 2 Publications (2017)
Related Software: Pufferfish; vZ; z3; Hazelnut; Luck; QWire; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

MEANS

Software Authors:   Fan, S.; Geissmann, Q.; Lakatos, E.; Lukauskas, S.; Ale, A.; Babtie, A. C.; Kirk, P. D W.; Stumpf, M. P H.
Referenced in: 1 Publication (2017)
Related Software: CERENA; Catalyst.jl; ModelingToolkit.jl; Compartor; DifferentialEquations.jl; Julia; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

MLsub

Software Authors:   Stephen Dolan
Referenced in: 2 Publications (2017–2019)
Related Software: MathML; ALGOL 60; Ott
Main Fields: Computer science (68-XX)

Mungo

Software Authors:   Kouzapas, Dimitrios; Dardha, Ornela; Perera, Roly; Gay, Simon J.
Referenced in: 2 Publications (2018–2020)
Related Software: session-ocaml; LASH; z3
Main Fields: Computer science (68-XX)

npsf

Software Authors:   Oleg Badunenko, Pavlo Mozharovskyi, Yaryna Kolomiytseva
Referenced in: 0 Publications
Related Software: FEAR; Matlab; rDEA; nonparaeff; Stata; DEA Toolbox; …
Main Fields:

PyGPGO

Software Authors:   Jiménez J., Ginebra J.
Referenced in: 0 Publications
Related Software: Python; MOE; scikit-optimize; Spearmint; PyMC; GPflowOpt; …
Main Fields:

Skalpel

Software Authors:   Rahli, Vincent
Referenced in: 2 Publications (2015–2017)
Related Software: PolyML; mini-ML; Poly/ML
Main Fields: Computer science (68-XX)

Starkiller

Software Authors:   Salib, M.
Referenced in: 1 Publication (2018)
Related Software: RPython; Hack; Flow; Python; Erlang; PHP; …
Main Fields: Computer science (68-XX)

TouchDevelop

Software Authors:   Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich
Referenced in: 1 Publication (2017)
Related Software: Scratch; Alice; Greenfoot; js_of_ocaml; mbeddr; Calcite; …
Main Fields: Computer science (68-XX)

TypeExplorer

Software Authors:   Van Deursen, Arie; Moonen, Leon
Referenced in: 1 Publication (2006)
Related Software: Lackwit; COBOL
Main Fields: Computer science (68-XX)

Avicenna

Software Authors:   Aghahadi, Zeinab; Talebpour, Alireza
Referenced in: 1 Publication (2022)
Related Software: StructBERT; ProofWriter; RuleTaker; NILE; CoQA; HellaSwag; …
Main Fields: Mathematical logic and foundations (03-XX)

binspp

Software Authors:   Mrkvicka Tomas, Dvorak Jiri, Beranek Ladislav, Remes Radim
Referenced in: 0 Publications
Related Software: Rcpp; spatstat; lgcp; inlabru; R
Main Fields:

bssm

Software Authors:   Jouni Helske, Matti Vihola
Referenced in: 0 Publications
Related Software: KFAS; ggmcmc; shinystan; RStan; trajectories; overlapping; …
Main Fields:

CHaiDNN

Software Authors:   Xilinx
Referenced in: 1 Publication (2021)
Related Software: AutoSA; PYNQ; PyRTL; Clash; SYCL; PyMTL3; …
Main Fields: Computer science (68-XX)

ComplexityParser

Software Authors:   Hainry, Emmanuel; Jeandel, Emmanuel; Péchoux, Romain; Zeyen, Olivier
Referenced in: 1 Publication (2021)
Related Software: TcT; AProVE; ANTLR
Main Fields: Computer science (68-XX)

cpi

Software Authors:   Watson, David S.; Wright, Marvin N.
Referenced in: 1 Publication (2021)
Related Software: pyhrt; knockoff; GeneralisedCovarianceMeasure; shap; CAMERA; conformalInference; …
Main Fields: Computer science (68-XX)

CURobustML

Software Authors:   Suk, Youmi; Kang, Hyunseung
Referenced in: 1 Publication (2022)
Related Software: SuperLearner; bartCause; H2O; GitHub; tmle; h2o; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

DARR

Software Authors:   Lupea, Mihaiela
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

DLTPy

Software Authors:   Casper Boone, Niels de Bruin, Arjan Langerak, Fabian Stelmach
Referenced in: 0 Publications
Related Software: Hack; TypeScript; NL2Type; Python; GitPython; Flow; …
Main Fields:

Forest

Software Authors:   Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q.
Referenced in: 0 Publications
Related Software: Graphviz
Main Fields:

Fuzzycreator

Software Authors:   Josie McCulloch
Referenced in: 0 Publications
Related Software: Matplotlib; NumPy; Juzzy; Python; PyIT2FLS
Main Fields:

FuzzyR

Software Authors:   Chao Chen, Jon Garibaldi, Tajul Razak
Referenced in: 1 Publication (2021)
Related Software: FuzzyStatTra; fuzzyreg; frbs; FuzzyNumbers; limSolve; quadprog; …
Main Fields: Numerical analysis (65-XX)

GLFM

Software Authors:   Valera, Isabel; Pradier, Melanie F.; Lomeli, Maria; Ghahramani, Zoubin
Referenced in: 1 Publication (2020)
Related Software:
Main Fields: Computer science (68-XX)

GPSR

Software Authors:   Figueiredo, M., Nowak, R., Wright, S.
Referenced in: 0 Publications
Related Software: PDCO
Main Fields:

Graph4Code

Software Authors:   Ibrahim Abdelaziz, Julian Dolby, James P. McCusker, Kavitha Srinivas
Referenced in: 0 Publications
Related Software: SABER; PQL; DynaMine; Freebase; code2seq; YAGO; …
Main Fields:

Graph_sampler

Software Authors:   Datta, Sagnik; Gayraud, Ghislaine; Leclerc, Eric; Bois, Frederic Y.
Referenced in: 1 Publication (2017)
Related Software: Blaise; MIM; VIBES; bnlearn; bnsoft; HUGIN; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JAXNS

Software Authors:   Joshua G. Albert
Referenced in: 0 Publications
Related Software: CNTK; Theano; PyTorch; TensorFlow; JAX; DIAMONDS; …
Main Fields:

JSNice

Software Authors:   Raychev, Veselin; Vechev, Martin; Krause, Andreas
Referenced in: 1 Publication (2015)
Related Software: Merlin; TypeScript; JavaScript
Main Fields: Computer science (68-XX)

Kpax3

Software Authors:   Alberto Pessia, Jukka Corander
Referenced in: 1 Publication (2020)
Related Software: PRMLT; Fizzy; Lingvo; pyGCluster; GmmFlow.jl; EmpiriciSN; …
Main Fields: Computer science (68-XX)

LqRT

Software Authors:   Anton Alyakin, Yichen Qin, Carey E. Priebe
Referenced in: 1 Publication (2022)
Related Software:
Main Fields: Statistics (62-XX)

MAGICA

Software Authors:   Joisha, Pramod G.; Banerjee, Prithviraj
Referenced in: 1 Publication (2003)
Related Software: Matlab; Mathematica
Main Fields: Computer science (68-XX)

MatForce

Software Authors:   Hunyadi, Levente
Referenced in: 1 Publication (2008)
Related Software: MaJIC; Matlab
Main Fields: Computer science (68-XX)

mcprofile

Software Authors:   Gerhard, Daniel
Referenced in: 1 Publication (2016)
Related Software: R
Main Fields: Statistics (62-XX)

microsynth

Software Authors:   Michael Robbins, Steven Davenport
Referenced in: 0 Publications
Related Software: Synth; xtable; LowRankQP; R
Main Fields:

MikiBeta

Software Authors:   Sakurai, Kanako; Asai, Kenichi
Referenced in: 1 Publication (2011)
Related Software: PLT Redex; OCaml; Coq
Main Fields: Computer science (68-XX)

Mnemonics

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

NL2Type

Software Authors:   R. S. Malik, J. Patra, M. Pradel
Referenced in: 0 Publications
Related Software: Hack; TypeScript; Python; GitPython; Flow; mypy; …
Main Fields:

Online-Bayesian-learning-for-MMSRm

Software Authors:   Ge, Shufei; Wang, Shijia; Nathoo, Farouk S.; Wang, Liangliang
Referenced in: 1 Publication (2022)
Related Software:
Main Fields: Statistics (62-XX)

PyLog

Software Authors:   Huang, Sitao; Wu, Kun; Jeong, Hyunmin; Wang, Chengyue; Chen, Deming; Hwu, Wen-Mei
Referenced in: 1 Publication (2021)
Related Software: AutoSA; PYNQ; PyRTL; Clash; SYCL; PyMTL3; …
Main Fields: Computer science (68-XX)

QWeSST

Software Authors:   Cervesato, Iliano; Sans, Thierry
Referenced in: 1 Publication (2014)
Related Software:
Main Fields: Computer science (68-XX)

Rubydust

Software Authors:   An, Jong-hoon (David); Chaudhuri, Avik; Foster, Jeffrey S.; Hicks, Michael
Referenced in: 1 Publication (2011)
Related Software: Ruby
Main Fields: Computer science (68-XX)