×

Found 277 Software Packages (Results 1–100)

Python

Software Authors:   Guido van Rossum
Cited in: 1,092 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Haskell

Software Authors:   –
Cited in: 806 Publications (1989–2022)
Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Cited in: 485 Publications (1978–2022)
Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Agda

Software Authors:   Ulf Norell
Cited in: 210 Publications (1999–2022)
Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Pesca

Software Authors:   Aarne Ranta
Cited in: 165 Publications (2001–2023)
Related Software: MiniML; Isabelle; TABLEAUX; Coq; Maude; Hyperproof; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

Miranda

Software Authors:   Turner, D.A.
Cited in: 148 Publications (1985–2020)
Related Software: Haskell; ML; CLEAN; Nuprl; BABEL; Automath; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Cited in: 128 Publications (2016–2022)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; GitHub; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Scala

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

Dafny

Software Authors:   Rustan Leino
Cited in: 75 Publications (2010–2023)
Related Software: z3; Why3; Boogie; Coq; VCC; VeriFast; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

APL

Software Authors:   Kenneth E. Iverson
Cited in: 77 Publications (1962–2022)
Related Software: Haskell; PySB; BioNetGen; SNOOPY; R; ML; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-XX)

UFL

Software Authors:   Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.
Cited in: 73 Publications (2010–2022)
Related Software: FEniCS; PETSc; Firedrake; DOLFIN; FIAT; petsc4py; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Cited in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mercury

Software Authors:   mercurylang.org
Cited in: 70 Publications (1994–2022)
Related Software: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

CLEAN

Software Authors:   Plasmeijer, M.J.
Cited in: 55 Publications (1987–2016)
Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ciao

Software Authors:   Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.
Cited in: 52 Publications (1999–2022)
Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KIV

Software Authors:   M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al.
Cited in: 50 Publications (1988–2021)
Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Cited in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MiniML

Software Authors:   Davies, Rowan; Pfenning, Frank
Cited in: 49 Publications (2000–2021)
Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CDuce

Software Authors:   Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Cited 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)

Curry

Software Authors:   M. Hanus, H. Kuchen, J.J. Moreno-Navarro
Cited in: 39 Publications (1998–2022)
Related Software: Haskell; PAKCS; TOY; BABEL; KiCS2; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Refal

Software Authors:   Valentin F. Turchin
Cited in: 42 Publications (1969–2020)
Related Software: Haskell; COSTA; CiaoPP; Ciao; Maude; ECCE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

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)

Idris

Software Authors:   Edwin Brady
Cited in: 38 Publications (2011–2022)
Related Software: Coq; Agda; Irdis; Haskell; Lean; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Cited in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; CHIP; BL data set; ELAN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Cited in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

GF

Software Authors:   Ranta, Aarne
Cited in: 29 Publications (1999–2021)
Related Software: Mizar; Coq; Isar; Theorema; Haskell; KeY; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Cited in: 30 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Polyp

Software Authors:   Jansson, P.; Jeuring, J.
Cited in: 33 Publications (1999–2012)
Related Software: Haskell; Stratego; Coq; Agda; Maude; RepLib; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HIP

Software Authors:   Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma
Cited in: 30 Publications (2007–2021)
Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Beluga

Software Authors:   Brigitte Pientka; Joshua Dunfield
Cited in: 28 Publications (2010–2022)
Related Software: Twelf; Abella; Coq; PoplMark; Isabelle/HOL; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

DrScheme

Software Authors:   Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Cited 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)

DACTL

Software Authors:   John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
Cited in: 27 Publications (1987–2015)
Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Eden

Software Authors:   U. Klusik, Y. Ortega-Mallén, R. Peña
Cited in: 23 Publications (2001–2018)
Related Software: Haskell; GUM; EdenTV; GHC; Erlang; MapReduce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Kernel-LEAF

Software Authors:   Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi
Cited in: 28 Publications (1991–2013)
Related Software: BABEL; TOY; Curry; PAKCS; Haskell; Maude; …
Main Fields: Computer science (68-XX)

ALDOR

Software Authors:   aldor.org; Bronstein, Manuel
Cited in: 26 Publications (1997–2014)
Related Software: AXIOM; Maple; SageMath; JAS; Orbital library; SINGULAR; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX)

CellML

Software Authors:   Hedley, Warren J.; Nelson, Melanie R.; Bullivant, David P.; Nielsen, Poul F.
Cited in: 17 Publications (2001–2021)
Related Software: Chaste; COPASI; SUNDIALS; CellSys; R; Python; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Cited in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MRST-AD

Software Authors:   Krogstad, S., Lie, K.-A., Møyner, O., Nilsen, H.M., Raynaud, X., Skaflestad, B
Cited in: 24 Publications (2016–2022)
Related Software: MRST; Matlab; MRST-co2lab; DuMuX; IPARS; ISTL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Links

Software Authors:   Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Cited in: 20 Publications (2008–2020)
Related Software: Eff; Koka; GitHub; Haskell; Hop; Ur/Web; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Eff

Software Authors:   Bauer, Andrej; Pretnar, Matija
Cited 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)

Facile

Software Authors:   Giacalone, A., Mishra, P., Prasad, S
Cited in: 22 Publications (1990–2009)
Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Irdis

Software Authors:   –
Cited in: 22 Publications (2011–2021)
Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

PAG

Software Authors:   Martin, Florian
Cited in: 20 Publications (1996–2018)
Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Cited in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Lore

Software Authors:   McHugh J, Abiteboul S, Goldman R, Quass D, Widom J.
Cited in: 6 Publications (2002–2010)
Related Software: XPath; XQuery; ViST; PRIX; Lorel; TIMBER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TXL

Software Authors:   Cordy, James R.
Cited in: 13 Publications (2005–2022)
Related Software: Stratego; ASF+SDF; JastAdd; ANTLR; Haskell; Tom; …
Main Fields: Computer science (68-XX)

Delphin

Software Authors:   Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A.
Cited in: 17 Publications (2003–2020)
Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Fudgets

Software Authors:   Carlsson, M., Hallgren, T.
Cited in: 17 Publications (1993–2022)
Related Software: Haskell; CLEAN; Nominal Isabelle; FranTk; CoCaml; Lucid; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Hood

Software Authors:   A. Gill
Cited in: 16 Publications (2001–2012)
Related Software: Hat; Freja; Haskell; TOY; Web-TLR; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Plastic

Software Authors:   Paul Callaghan
Cited in: 17 Publications (2000–2014)
Related Software: Coq; LEGO; ALF; FraCaS; GF; Nuprl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HasCasl

Software Authors:   Schr"oder, Lutz; Mossakowski, Till
Cited in: 17 Publications (2002–2015)
Related Software: CASL; Haskell; Hets; Maude; F#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Sisal

Software Authors:   James McGraw et al.
Cited in: 13 Publications (1988–2010)
Related Software: Cilk; Eden; Lucid; Haskell; Miranda; CapoOne; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

F#

Software Authors:   Don Syme, Microsoft Research; et al.
Cited in: 14 Publications (2007–2019)
Related Software: Haskell; Python; HasCasl; qasm2circ; qasm-tools; LLVM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Orc

Software Authors:   Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev
Cited in: 14 Publications (2009–2015)
Related Software: COWS; Maude; Jolie; Quicksort; Dist-Orc; BPEL2oWFN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Lilac

Software Authors:   Ian Mackie
Cited in: 14 Publications (1993–2021)
Related Software: GitHub; Lincx; Agda; Lolli; ML; Automath; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Sparkle

Software Authors:   de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus
Cited in: 12 Publications (2002–2013)
Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

CertiCoq

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.
Cited in: 13 Publications (2017–2022)
Related Software: Coq; CakeML; OEuf; Isabelle/HOL; HOL; Fiat; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

EasyCheck

Software Authors:   Jan Christiansen; Sebastian Fischer
Cited in: 10 Publications (2009–2020)
Related Software: QuickCheck; Curry; SmallCheck; Haskell; Church; PAKCS; …
Main Fields: Computer science (68-XX)

FACTORIE

Software Authors:   Andrew McCallum, Karl Schultz, Sameer Singh
Cited in: 11 Publications (2011–2020)
Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

GUM

Software Authors:   Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., Peyton Jones, S.L.
Cited in: 12 Publications (1997–2016)
Related Software: Haskell; Eden; GHC; Multilisp; Symgrid; MapReduce; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Lava

Software Authors:   Bjesse, P., Claessen, K., Sheeran, M., Singh, S.
Cited in: 11 Publications (2002–2018)
Related Software: Haskell; muFP; Coquet; Coq; Feldspar; CUDA; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Leon

Software Authors:   Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter
Cited in: 12 Publications (2014–2022)
Related Software: CVC4; Dafny; z3; Isabelle/HOL; SMT-LIB; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NESL

Software Authors:   Blelloch, Guy E.
Cited in: 13 Publications (1994–2017)
Related Software: Haskell; MapReduce; GHC; CUDA; MGS; SETL; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

TIL

Software Authors:   Tarditi, David; Stone, Chris; Morrisett, Greg; Harper, Robert; Cheng, Perry
Cited in: 11 Publications (1997–2008)
Related Software: Haskell; TALx86; ML; GHC; Coq; LEGO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HTab

Software Authors:   Guillaume Hoffmann; Carlos Areces
Cited in: 11 Publications (2009–2020)
Related Software: Spartacus; HyLoTab; HGen; HyLoRes; FaCT++; Sibyl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Fran

Software Authors:   Elliott, Conal; Hudak, Paul
Cited in: 8 Publications (1997–2020)
Related Software: Haskell; Esterel; Yampa; TBAG; Copilot; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Numerical analysis (65-XX)

GCCA

Software Authors:   Anil K. Seth
Cited in: 9 Publications (2011–2021)
Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OOMMF

Software Authors:   Mike Donahue; Don Porter
Cited in: 8 Publications (2011–2021)
Related Software: Python; MuMax; Finmag; BEM++; NGSolve; Commics; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Athena

Software Authors:   Konstantine Arkoudas
Cited in: 10 Publications (2004–2017)
Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Cited in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HACL*

Software Authors:   Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
Cited in: 10 Publications (2018–2023)
Related Software: Toolchain; Why3; Coq; WhyMP; WhyML; Isabelle/HOL; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

KiCS2

Software Authors:   Braßel, Bernd; Hanus, Michael; Peemöller, Björn; Reck, Fabian
Cited in: 7 Publications (2009–2020)
Related Software: Curry; Haskell; PAKCS; Church; EasyCheck; CHR.js; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Pochoir

Software Authors:   Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E.
Cited in: 10 Publications (2013–2019)
Related Software: PATUS; Mint; CUDA; STREAM benchmark; STREAM; Coq; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

VeriFun

Software Authors:   Christoph Walther; Stephan Schweitzer
Cited in: 10 Publications (2005–2017)
Related Software: ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Yampa

Software Authors:   Henrik Nilsson, Antony Courtney
Cited in: 9 Publications (2003–2020)
Related Software: Haskell; Fran; Esterel; GHC; Copilot; seL4; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Caml

Software Authors:   INRIA
Cited in: 9 Publications (1993–2021)
Related Software: OCaml; ACL2; Python; IDV; IMPS; Panoptes; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Cubical agda

Software Authors:   Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
Cited in: 9 Publications (2021–2022)
Related Software: cubicaltt; GitHub; RedPRL; Coq; MetaPRL; LEGO; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Theseus

Software Authors:   James, R.P., Sabry, A.
Cited in: 8 Publications (2015–2020)
Related Software: LRinv; Matita; Eiffel; BETA
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Agapia

Software Authors:   Ştefănescu, Gheorghe; Tătărâm, Monica
Cited in: 6 Publications (2008–2020)
Related Software: TensorFlow; Chord; Rodin; Lucid; KOOL; K Prover; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Assimulo

Software Authors:   Andersson, C., Führer, C., Åkesson, J.
Cited in: 5 Publications (2015–2022)
Related Software: Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Cited in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Psi4

Software Authors:   J. M. Turney et al.
Cited in: 2 Publications (2014–2015)
Related Software: PySCF; Python; SciPy; qHiPSTER; ProjectQ; OpenFermion; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

pyunicorn

Software Authors:   Jonathan F. Donges, Jobst Heitzig, Boyan Beronov, Marc Wiedermann, Jakob Runge, Qing Yi Feng, Liubov Tupikina, Veronika Stolbova, Reik V. Donner, Norbert Marwan, Henk A. Dijkstra, J. Kurths
Cited in: 6 Publications (2015–2021)
Related Software: SciPy; TISEAN; igraph; Python; NetworkX; NumPy; …
Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

Ur/Web

Software Authors:   Chlipala, A.
Cited in: 7 Publications (2016–2021)
Related Software: Links; CoSMed; FlowFox; CAVA LTL Modelchecker; Jif; seL4; …
Main Fields: Computer science (68-XX)

Density Compiler

Software Authors:   Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Cited in: 7 Publications (2015–2022)
Related Software: Isabelle/HOL; HOL; Archive Formal Proofs; Isabelle; Lifting; Transfer; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

EVES

Software Authors:   Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels
Cited in: 7 Publications (1993–2006)
Related Software: IMPS; PVS; HOL; NQTHM; CVC; Analytica; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Frenetic

Software Authors:   Foster, N., Harrison, R., Freedman, M.J., Monsanto, C., Rexford, J., Story, A., Walker, D.
Cited in: 7 Publications (2011–2021)
Related Software: NetKAT; Nettle; VeriCon; VeriFlow; SDN-SafeCheck; AProVE; …
Main Fields: Computer science (68-XX)

GRASShopper

Software Authors:   R. Piskac, T. Wies, and D. Zufferey
Cited in: 6 Publications (2015–2021)
Related Software: z3; Slide; Infer; HIP; CVC4; HACL*; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

iTasks

Software Authors:   Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter
Cited in: 5 Publications (2008–2013)
Related Software: CLEAN; Miranda; Haskell; ML; GUM; Links; …
Main Fields: Computer science (68-XX)

jacobi2.0

Software Authors:   Kröger, Martin; Hütter, Markus; Öttinger, Hans Christian
Cited in: 7 Publications (2001–2021)
Related Software: Mathematica; geomstats; SymPy
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

LNT2LOTOS

Software Authors:   David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe, Gideon Smeding
Cited in: 7 Publications (2012–2022)
Related Software: CADP; SPIN; Exp.Open; E-LOTOS; XTL; LOTOS; …
Main Fields: Computer science (68-XX)

Lutess

Software Authors:   du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N.
Cited in: 5 Publications (1999–2012)
Related Software: ATGen; GATeL; Circus; Reo; Maude; Esterel; …
Main Fields: Computer science (68-XX)

MSO_Regex_Equivalence

Software Authors:   Dmitriy Traytel; Tobias Nipkow
Cited in: 7 Publications (2013–2018)
Related Software: Presburger Automata; Myhill-Nerode; Isabelle; Regex_Equivalence; Finite Automata HF; Hereditarily Finite Sets; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NeXeme

Software Authors:   Moreau, Luc; De Roure, David; Foster, Ian
Cited in: 6 Publications (1997–2007)
Related Software: Coq; Haskell; PLAN; GC; GUM
Main Fields: Computer science (68-XX)

NLambda

Software Authors:   Bartek Klin; Michał Szynwelski
Cited in: 7 Publications (2016–2022)
Related Software: LOIS; z3; Haskell; SETL; Sigma*
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PolyLib

Software Authors:   Jansson, P., Jeuring, J.
Cited in: 7 Publications (2004–2009)
Related Software: Haskell; Polyp; QuickCheck; RepLib; Coq; Racer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

reFLect

Software Authors:   Grundy, Jim; Melham, Tom; O’Leary, John
Cited in: 6 Publications (2006–2018)
Related Software: Coq; ML; Agda; HOL Light; HOL; HOL Light QE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TiML

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

WSOL

Software Authors:   Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard
Cited in: 3 Publications (2002–2003)
Related Software: Jess; SNAP; Protege; UDDI
Main Fields: Computer science (68-XX)