C-XSC Software Authors: Lawo, Christian Cited in: 107 Publications (1992–2021) Related Software: C-XSC 2.0; INTLAB; PROFIL/BIAS; INTOPT_90; PASCAL-XSC; filib++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
SETL Software Authors: Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E. Cited in: 27 Publications (1986–2021) Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)
HyperGroupTest Software Authors: Tsitouras, Ch.; Massouros, Ch.G. Cited in: 8 Publications (2005–2022) Related Software: BinaryTest; Mathematica; Smallsemi; OEIS Main Fields: Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); Field theory and polynomials (12-XX)
VeriML Software Authors: Stampoulis, Antonis; Shao, Zhong Cited in: 8 Publications (2010–2016) Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Alms Software Authors: Tov, Jesse A.; Pucella, Riccardo Cited in: 7 Publications (2011–2021) Related Software: Pesca; OCaml; Haskell; Fugue; PLURAL; PIPER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OBSCURE Software Authors: Lehmann, Thomas; Loeckx, Jacques Cited in: 7 Publications (1985–2017) Related Software: Nuprl; LCF; Mantissa; AIM@SHAPE; ProMoT; COBOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Dynamical systems and ergodic theory (37-XX)
CoCaml Software Authors: Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra Cited in: 6 Publications (2017–2022) Related Software: coFJ; Paco; Featherweight Java; CoALP; Nominal Isabelle; Fudgets; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Pilsner Software Authors: Neis, Georg; Hur, Chung-Kil; Kaiser, Jan-Oliver; McLaughlin, Craig; Dreyer, Derek; Vafeiadis, Viktor Cited in: 6 Publications (2015–2021) Related Software: Coq; CakeML; Isabelle/HOL; HOL; Boogie; Kami; … Main Fields: Computer science (68-XX)
Aglet Software Authors: Morgenstern, Jamie; Licata, Daniel R. Cited in: 3 Publications (2010–2017) Related Software: Laminar; Haskell; Ynot; AURA; Agda; Paragon; … Main Fields: Computer science (68-XX)
1ML Software Authors: Rossberg, Andreas Cited in: 4 Publications (2015–2018) Related Software: MixML; Tribe; HMap; Dotty; GitHub; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HLIO Software Authors: Buiras, Pablo; Vytiniotis, Dimitrios; Russo, Alejandro Cited in: 3 Publications (2015–2019) Related Software: Haskell; Flow Caml; MonPoly; Naiad; Apache Flink; contractLarva; … Main Fields: Computer science (68-XX)
LightDP Software Authors: Zhang, Danfeng; Kifer, Daniel Cited in: 3 Publications (2017–2022) Related Software: Pufferfish; z3; REDLOG; PrivateLR; vZ; Hazelnut; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
edgecount Software Authors: Singh, Abhishek K.; Penev, Evgeni S.; Yakobson, Boris I. Cited in: 1 Publication (2011) Related Software: VMD; LattE; Mathematica Main Fields: Statistical mechanics, structure of matter (82-XX)
GENOTYPE Software Authors: Shaumyan, Sebastian Cited in: 1 Publication (1991) Related Software: – Main Fields: Computer science (68-XX)
JSNice Software Authors: Raychev, Veselin; Vechev, Martin; Krause, Andreas Cited in: 1 Publication (2015) Related Software: Merlin; TypeScript; JavaScript Main Fields: Computer science (68-XX)
Ocean Tensor Software Authors: van den Berg, E. Cited in: 0 Publications Related Software: CUBLAS; Python; CUDA; PyTorch; NumPy; CuPy; … Main Fields: –
Rast Software Authors: Das, Ankush; Pfenning, Frank Cited in: 1 Publication (2022) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Rubydust Software Authors: An, Jong-hoon (David); Chaudhuri, Avik; Foster, Jeffrey S.; Hicks, Michael Cited in: 1 Publication (2011) Related Software: Ruby Main Fields: Computer science (68-XX)